-
Notifications
You must be signed in to change notification settings - Fork 32
/
Copy path.gitignore
128 lines (128 loc) · 3.29 KB
/
.gitignore
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
*#*#
*.a
*.aux
*.bak
*.bbl
*.blg
*.cm*
*.exe
*.glob
*.log
*.ml.d
*.ml4.d
*.mlg.d
*.mllib.d
*.o
*.out
*.swp
*.synctex.gz
*.toc
*.d
*.vio
*.vo
*.vos
*.vok
.#*
.DS_Store
.coq-native
.coq-version
/.coqdeps.d
/ADT-Synthesis-Submitted.tiff
/CoqMakefile.conf
/Makefile.coq
/Makefile.coq-old.conf
/_CoqProject
/all.pdf
/classifier.ml
/classifier.mli
/classifier_unopt.ml
/classifier_unopt.mli
/conftest.annot
/coqdoc.sty
/fiat2/
/html
/messages.ml
/messages.mli
/parsing-parses
/parsing-parses.tar.gz
/src/Bellmania
/src/Common/Coq__8_4__8_5__Compat.v
/src/Common/Tactics/Makefile
/src/Common/Tactics/hint_db_extra_plugin.ml
/src/Common/Tactics/hint_db_extra_plugin.ml4
/src/Common/Tactics/hint_db_extra_plugin.mlg
/src/Common/Tactics/hint_db_extra_tactics.ml
/src/Common/Tactics/transparent_abstract_plugin.ml
/src/Common/Tactics/transparent_abstract_plugin.ml4
/src/Common/Tactics/transparent_abstract_plugin.mlg
/src/Common/Tactics/transparent_abstract_tactics.ml
/src/Common/Tactics/TransparentAbstract.v
/src/Common/Tactics/HintDbExtra.v
/src/Computation/State.v
/src/Examples/*coq*
/src/Examples/ADTExamples/PLLunch.v
/src/Examples/ADTExamples/PLLunch2.v
/src/Examples/ADTExamples/SetoidRewritingAdventures.v
/src/Examples/QueryStructure/*coq*
/src/Examples/QueryStructure/SearchTest.v
/src/Examples/QueryStructure/classifier.ml
/src/Examples/QueryStructure/classifier.mli
/src/Examples/QueryStructure/classifierUnOpt_repl
/src/Examples/QueryStructure/classifier_repl
/src/Examples/QueryStructure/classifier_unopt.ml
/src/Examples/QueryStructure/classifier_unopt.mli
/src/Examples/QueryStructure/foo1.txt
/src/Examples/QueryStructure/foo2.txt
/src/Examples/QueryStructure/messages.ml
/src/Examples/QueryStructure/messages.mli
/src/Examples/QueryStructure/messagesUnoptimized.ml
/src/Examples/QueryStructure/messagesUnoptimized.mli
/src/Examples/QueryStructure/msg_repl
/src/Examples/QueryStructure/msg_replUnOpt
/src/Examples/QueryStructure/photoUnOpt_repl
/src/Examples/QueryStructure/photo_repl
/src/Examples/QueryStructure/photoalbum.ml
/src/Examples/QueryStructure/photoalbum.mli
/src/Examples/QueryStructure/photoalbumUnOpt.ml
/src/Examples/QueryStructure/photoalbumUnOpt.mli
/src/Examples/QueryStructure/r50
/src/Examples/QueryStructure/repl
/src/Examples/QueryStructure/with_hint_db_plugin.ml4
/src/Examples/SearchTest.v
/src/Examples/SumUnique.exe
/src/Examples/SumUnique.ml
/src/Examples/SumUnique.s
/src/Examples/bookstore.ml
/src/Examples/bookstore.mli
/src/Examples/repl
/src/Fiat4Monitors/HelloWorld/HelloWorld.v
/src/Fiat4Monitors/HelloWorld/HelloWorldI386.v
/src/Fiat4Monitors/HelloWorld/bedrock_driver.s
/src/Fiat4Monitors/HelloWorld/bedrock_main.c
/src/Fiat4Monitors/health_monitor*
/src/Makefile.coq
/src/Overview
/src/Parsers/Refinement/Testing/ab10*
/src/Parsers/Refinement/Testing/aba10*
/src/Parsers/Refinement/Testing/test_*
/src/QueryStructure/Automation/RangeTreeBags.v
/src/QueryStructure/QuerySpecs/ConstraintCheckUnfoldings.v
/src/QueryStructure/QuerySpecs/InsertQSRefinements.v
/src/QueryStructure/Refinements/AdditionalListLemmas.v
/submodule-update
/time-worked
ADT-Synthesis-Submitted.tiff
Overview
artifact
bug_*.v
gmon.out
ocamlprof.dump
web
/src/Narcissus/Examples/NetworkStack/Fiat4Mirage.ml
/.coqdeps.d
/CoqMakefile.conf
.lia.cache
/src/Narcissus/Examples/NetworkStack/fiat4mirage-bench
/Makefile.coq-old.conf
bookstore.ml
bookstore.mli