-
Notifications
You must be signed in to change notification settings - Fork 5
/
_CoqProject
35 lines (32 loc) · 776 Bytes
/
_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
-Q examples htt
-Q htt htt
-docroot docs # where the documentation should go
-arg -w -arg -notation-overridden
-arg -w -arg -redundant-canonical-projection
# release-specific arguments
-arg -w -arg -notation-incompatible-prefix # specific to coq8.20.0
-arg -w -arg -deprecated-from-Coq # specific to coq8.21
-arg -w -arg -deprecated-dirpath-Coq # specific to coq8.21
htt/options.v
htt/domain.v
htt/model.v
htt/heapauto.v
examples/exploit.v
examples/gcd.v
examples/counter.v
examples/llist.v
examples/dlist.v
examples/array.v
examples/queue.v
examples/cyclic.v
examples/stack.v
examples/bintree.v
examples/bst.v
examples/kvmaps.v
examples/hashtab.v
examples/bubblesort.v
examples/quicksort.v
examples/congmath.v
examples/congprog.v
examples/tree.v
examples/union_find.v