affect/_CoqProject at main · ovanr/affect · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
-Q theories                affect

-arg "-w -redundant-canonical-projection -w -notation-incompatible-prefix -w -notation-both-format-and-spaces"

theories/lib/base.v
theories/lib/logic.v
theories/lib/pure_weakestpre.v

theories/lang/subst_map.v
theories/lang/handler.v
theories/lang/iEff.v
theories/lang/affect.v

theories/logic/sem_def.v
theories/logic/mode.v
theories/logic/sem_sig.v
theories/logic/sem_row.v
theories/logic/ewpw.v
theories/logic/sem_judgement.v
theories/logic/sem_types.v
theories/logic/sem_env.v
theories/logic/sem_operators.v
theories/logic/tactics.v
theories/logic/compatibility.v
theories/logic/adequacy.v

theories/case_studies/app.v
theories/case_studies/tossCoin.v
theories/case_studies/c.v
theories/case_studies/hid.v
theories/case_studies/state.v
theories/case_studies/state_veri.v
theories/case_studies/promotion.v
theories/case_studies/generator_iterator.v
theories/case_studies/cooperative_concurrency.v
theories/case_studies/cooperative_concurrency_gen.v
theories/case_studies/promptcontrol.v
theories/case_studies/step.v