/
_CoqProject
38 lines (36 loc) · 870 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
36
37
38
-Q core chip
-Q extraction/impacted/coq chip
-Q extraction/impacted-rbt/coq chip
-arg -w -arg -notation-overridden
-arg -w -arg -local-declaration
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant
-arg -w -arg -extraction-opaque-accessed
core/extra.v
core/connect.v
core/acyclic.v
core/closure.v
core/closure_example.v
core/tarjan.v
core/kosaraju.v
core/kosaraju_acyclic.v
core/tarjan_acyclic.v
core/change.v
core/check.v
core/string.v
core/finn.v
core/finn_set.v
core/check_seq.v
core/topos.v
core/ordtype.v
core/dfs_set.v
core/close_dfs.v
core/hierarchical.v
core/hierarchical_correct.v
core/hierarchical_sub.v
core/hierarchical_sub_correct.v
core/hierarchical_sub_pt.v
core/hierarchical_sub_pt_correct.v
core/check_seq_hierarchical.v
extraction/impacted/coq/extract_impacted.v
extraction/impacted-rbt/coq/extract_impacted_rbt.v