blob: a83f5705018f89664a1414c6b5a4f4f08958435b (
plain)
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
|
*.annot
*.cache
# ocamlbuild working directory
_build/
# ocamlbuild targets
*.byte
*.native
# oasis generated files
setup.data
setup.log
# generated by coq
*.glob
*.v.d
*.aux
*.vo
*.vok
*.vos
*.d
.lia.cache
.nia.cache
# targets of coq_makefile:
src/Makefile.conf
src/g_smtcoq.ml
# generated by the Makefile
src/uninstall_me.sh
# .ml files generated by ocamllex from a .mll, regenerate list using
# find . -name '*.mll' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprLexer.ml
/src/lfsc/lfscLexer.ml
/src/verit/veritLexer.ml
/3rdparty/alt-ergo/smtlib2_lex.ml
# .ml files generated by ocamlyacc from a .mly, regenerate list using
# find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprParser.ml
/src/lfsc/lfscParser.ml
/src/verit/veritParser.ml
/3rdparty/alt-ergo/smtlib2_parse.ml
# .mli files generated by ocamlyacc from a .mly, regenerate list using
find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1i/g'
/src/smtlib2/sExprParser.mli
/src/lfsc/lfscParser.mli
/src/verit/veritParser.mli
/3rdparty/alt-ergo/smtlib2_parse.mli
# compiled OCaml files
*.cmt
*.cmti
*.cmi
*.cmo
*.cma
*.cmx
*.cmxs
*.cmxa
*.ml.d
*.mli.d
*.ml4.d
*.o
*.a
*.mlpack.d
src/extraction/.Makefile.swp
src/extraction/smtcoq
# proof certificates
*.vtlog
*.zlog
|
