update Iris; fix build
Showing
- opam 1 addition, 1 deletionopam
- theories/examples/map_reduce.v 1 addition, 1 deletiontheories/examples/map_reduce.v
- theories/examples/par_map.v 1 addition, 1 deletiontheories/examples/par_map.v
- theories/examples/sort.v 1 addition, 1 deletiontheories/examples/sort.v
- theories/examples/sort_fg.v 1 addition, 1 deletiontheories/examples/sort_fg.v
- theories/logrel/examples/par_recv.v 1 addition, 1 deletiontheories/logrel/examples/par_recv.v
- theories/logrel/term_typing_rules.v 1 addition, 1 deletiontheories/logrel/term_typing_rules.v
Loading
Please register or sign in to comment