blob: 44630d3013d4eb7f051e1dfa901dea4a69d84907 (
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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
*.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
# cp targets of src/configure.sh:
src/_CoqProject
src/Makefile
src/Makefile.conf
src/Makefile.local
src/smtcoq_plugin.ml4
src/versions/native/Structures.v
src/g_smtcoq.mlg
src/smtcoq_plugin.mlpack
src/Tactics.v
src/versions/standard/Int63/Int63.v
src/versions/standard/Int63/Int63Native.v
src/versions/standard/Int63/Int63Op.v
src/versions/standard/Int63/Int63Axioms.v
src/versions/standard/Int63/Int63Properties.v
src/versions/standard/Array/PArray.v
src/versions/standard/Structures.v
# 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
|
