_CoqProject 562 Bytes
Newer Older
1 2
-Q theories osiris
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
Robbert Krebbers's avatar
Robbert Krebbers committed
3
theories/utils/auth_excl.v
Robbert Krebbers's avatar
Robbert Krebbers committed
4 5
theories/utils/encodable.v
theories/utils/list.v
6
theories/utils/compare.v
Robbert Krebbers's avatar
Robbert Krebbers committed
7
theories/utils/spin_lock.v
8
theories/utils/contribution.v
Robbert Krebbers's avatar
Robbert Krebbers committed
9 10 11
theories/channel/channel.v
theories/channel/proto_model.v
theories/channel/proto_channel.v
12
theories/channel/proofmode.v
13
theories/examples/list_sort.v
14
theories/examples/list_sort_instances.v
Robbert Krebbers's avatar
Robbert Krebbers committed
15
theories/examples/list_sort_elem.v
jihgfee's avatar
jihgfee committed
16
theories/examples/loop_sort.v
17
theories/examples/list_sort_elem_client.v