_CoqProject 591 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
-Q theories actris
2
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
Robbert Krebbers's avatar
Robbert Krebbers committed
3
theories/utils/auth_excl.v
4 5
theories/utils/flist.v
theories/utils/llist.v
6
theories/utils/compare.v
7
theories/utils/contribution.v
Robbert Krebbers's avatar
Robbert Krebbers committed
8 9 10
theories/channel/channel.v
theories/channel/proto_model.v
theories/channel/proto_channel.v
11
theories/channel/proofmode.v
Robbert Krebbers's avatar
Robbert Krebbers committed
12 13 14
theories/examples/sort.v
theories/examples/sort_client.v
theories/examples/sort_elem.v
jihgfee's avatar
jihgfee committed
15
theories/examples/loop_sort.v
Robbert Krebbers's avatar
Robbert Krebbers committed
16
theories/examples/sort_elem_client.v
Robbert Krebbers's avatar
Robbert Krebbers committed
17
theories/examples/map.v
Robbert Krebbers's avatar
Robbert Krebbers committed
18
theories/examples/map_reduce.v
Robbert Krebbers's avatar
Robbert Krebbers committed
19
theories/examples/basics.v