_CoqProject 1.49 KB
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
-Q theories actris
Ralf Jung's avatar
Ralf Jung committed
2 3 4 5 6 7
# We sometimes want to locally override notation, and there is no good way to do that with scopes.
-arg -w -arg -notation-overridden
# Cannot use non-canonical projections as it causes massive unification failures
# (https://github.com/coq/coq/issues/6294).
-arg -w -arg -redundant-canonical-projection

Robbert Krebbers's avatar
Robbert Krebbers committed
8
theories/utils/skip.v
9
theories/utils/llist.v
10
theories/utils/compare.v
11
theories/utils/contribution.v
12
theories/utils/group.v
13
theories/utils/cofe_solver_2.v
14
theories/utils/switch.v
Robbert Krebbers's avatar
Robbert Krebbers committed
15
theories/channel/proto_model.v
16 17
theories/channel/proto.v
theories/channel/channel.v
18
theories/channel/proofmode.v
19
theories/examples/basics.v
Robbert Krebbers's avatar
Robbert Krebbers committed
20
theories/examples/sort.v
21
theories/examples/sort_br_del.v
22
theories/examples/sort_fg.v
Robbert Krebbers's avatar
Robbert Krebbers committed
23
theories/examples/map.v
Robbert Krebbers's avatar
Robbert Krebbers committed
24
theories/examples/map_reduce.v
25
theories/examples/swap_mapper.v
26
theories/examples/subprotocols.v
Jonas Kastberg's avatar
Jonas Kastberg committed
27
theories/examples/list_rev.v
Jonas Kastberg's avatar
Jonas Kastberg committed
28
theories/logrel/model.v
Robbert Krebbers's avatar
Robbert Krebbers committed
29
theories/logrel/telescopes.v
30
theories/logrel/subtyping.v
Robbert Krebbers's avatar
Robbert Krebbers committed
31 32 33 34
theories/logrel/environments.v
theories/logrel/term_types.v
theories/logrel/session_types.v
theories/logrel/operators.v
Robbert Krebbers's avatar
Rename.  
Robbert Krebbers committed
35
theories/logrel/term_typing_judgment.v
Robbert Krebbers's avatar
Robbert Krebbers committed
36 37
theories/logrel/subtyping_rules.v
theories/logrel/term_typing_rules.v
38
theories/logrel/session_typing_rules.v
39
theories/logrel/napp.v
40
theories/logrel/lib/mutex.v
41
theories/logrel/lib/par_start.v
42
theories/logrel/examples/double.v
Jonas Kastberg's avatar
Jonas Kastberg committed
43
theories/logrel/examples/pair.v
44
theories/logrel/examples/rec_subtyping.v
45
theories/logrel/examples/choice_subtyping.v
46
theories/logrel/examples/mapper.v
47
theories/logrel/examples/mapper_list.v