-
Notifications
You must be signed in to change notification settings - Fork 52
/
_CoqProject
67 lines (60 loc) · 2.54 KB
/
_CoqProject
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
-arg -w -arg +elpi.deprecated
-arg -w -arg -ambiguous-extra-dep
-arg -w -arg -future-coercion-class-field
# Plugins.
-I _build/install/default/lib
# Theories
-Q theories elpi
-Q _build/default/theories elpi
-Q elpi elpi_elpi
-Q _build/default/elpi elpi_elpi
-Q examples elpi.examples
-Q _build/default/examples elpi.examples
-Q apps/coercion/tests elpi.apps.coercion.tests
-Q _build/default/apps/coercion/tests elpi.apps.coercion.tests
-Q apps/coercion/theories elpi.apps.coercion
-Q _build/default/apps/coercion/theories elpi.apps.coercion
-Q apps/cs/tests elpi.apps.cs.tests
-Q _build/default/apps/cs/tests elpi.apps.cs.tests
-Q apps/cs/theories elpi.apps.cs
-Q _build/default/apps/cs/theories elpi.apps.cs
-Q apps/derive/elpi elpi.apps.derive.elpi
-Q _build/default/apps/derive/elpi elpi.apps.derive.elpi
-Q apps/derive/examples elpi.apps.derive.examples
-Q _build/default/apps/derive/examples elpi.apps.derive.examples
-Q apps/derive/tests elpi.apps.derive.tests
-Q _build/default/apps/derive/tests elpi.apps.derive.tests
-Q apps/derive/theories elpi.apps.derive
-Q _build/default/apps/derive/theories elpi.apps.derive
-Q apps/derive/theories/derive elpi.apps.derive.derive
-Q _build/default/apps/derive/theories/derive elpi.apps.derive.derive
-Q apps/eltac/examples elpi.apps.eltac.examples
-Q _build/default/apps/eltac/examples elpi.apps.eltac.examples
-Q apps/eltac/tests elpi.apps.eltac.tests
-Q _build/default/apps/eltac/tests elpi.apps.eltac.tests
-Q apps/eltac/theories elpi.apps.eltac
-Q _build/default/apps/eltac/theories elpi.apps.eltac
-Q apps/locker/elpi elpi.apps.locker.elpi
-Q _build/default/apps/locker/elpi elpi.apps.locker.elpi
-Q apps/locker/tests elpi.apps.locker.tests
-Q _build/default/apps/locker/tests elpi.apps.locker.tests
-Q apps/locker/theories elpi.apps.locker
-Q _build/default/apps/locker/theories elpi.apps.locker
-Q apps/NES/elpi elpi.apps.NES.elpi
-Q _build/default/apps/NES/elpi elpi.apps.NES.elpi
-Q apps/NES/examples elpi.apps.NES.examples
-Q _build/default/apps/NES/examples elpi.apps.NES.examples
-Q apps/NES/tests elpi.apps.NES.tests
-Q _build/default/apps/NES/tests elpi.apps.NES.tests
-Q apps/NES/theories elpi.apps.NES
-Q _build/default/apps/NES/theories elpi.apps.NES
-Q apps/tc/elpi elpi.apps.tc.elpi
-Q _build/default/apps/tc/elpi elpi.apps.tc.elpi
-Q apps/tc/examples elpi.apps.tc.examples
-Q _build/default/apps/tc/examples elpi.apps.tc.examples
-Q _build/default/apps/tc/tests elpi.apps.tc.tests
-Q apps/tc/theories elpi.apps.tc
-Q _build/default/apps/tc/theories elpi.apps.tc
# Cram tests.
-Q tests elpi.tests
-Q _build/default/tests elpi.tests