-
Notifications
You must be signed in to change notification settings - Fork 23
/
Copy path_CoqProject.test-suite-stdlib
49 lines (41 loc) · 1.43 KB
/
_CoqProject.test-suite-stdlib
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
39
40
41
42
43
44
45
46
47
48
49
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant
-arg -w -arg -abstract-large-number
-arg -w -arg -disj-pattern-notation
-arg -w -arg -notation-overridden
-arg -w -arg +elpi.typecheck
examples_stdlib/demo1/hierarchy_0.v
examples_stdlib/demo1/hierarchy_1.v
examples_stdlib/demo1/hierarchy_2.v
examples_stdlib/demo1/hierarchy_3.v
examples_stdlib/demo1/hierarchy_4.v
examples_stdlib/demo1/hierarchy_5.v
examples_stdlib/demo1/test_0_0.v
examples_stdlib/demo1/test_1_0.v
examples_stdlib/demo1/test_2_0.v
examples_stdlib/demo1/test_3_0.v
examples_stdlib/demo1/test_3_3.v
examples_stdlib/demo1/test_4_0.v
examples_stdlib/demo1/test_4_3.v
examples_stdlib/demo1/test_5_0.v
examples_stdlib/demo1/test_5_3.v
examples_stdlib/demo2/classical.v
examples_stdlib/demo2/stage10.v
examples_stdlib/demo2/stage11.v
examples_stdlib/FSCD2020_material/V1.v
examples_stdlib/FSCD2020_material/V2.v
examples_stdlib/FSCD2020_material/V3.v
examples_stdlib/FSCD2020_material/V4.v
examples_stdlib/FSCD2020_talk/V1.v
examples_stdlib/FSCD2020_talk/V2.v
examples_stdlib/FSCD2020_talk/V3.v
examples_stdlib/Coq2020_material/CoqWS_demo.v
examples_stdlib/Coq2020_material/CoqWS_abstract.v
examples_stdlib/Coq2020_material/CoqWS_expansion/withHB.v
examples_stdlib/Coq2020_material/CoqWS_expansion/withoutHB.v
tests_stdlib/exports.v
tests_stdlib/exports2.v
tests_stdlib/funclass.v
-R tests_stdlib HB.tests_stdlib
-R examples_stdlib HB.examples_stdlib
-Q HB HB