diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 91 |
1 files changed, 65 insertions, 26 deletions
@@ -1,42 +1,81 @@ *.annot + +# ocamlbuild working directory +_build/ + +# ocamlbuild targets +*.byte +*.native + +# oasis generated files +setup.data +setup.log + +# generated by coq +*.glob +*.v.d +*.aux +*.vo +*.d +.lia.cache +.nia.cache + +# cp targets of src/configure.sh: +src/Makefile +src/smtcoq_plugin.ml4 +src/versions/native/Structures.v +src/g_smtcoq.ml4 +src/smtcoq_plugin.mlpack +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/smtlib2_lex.ml +/src/smtlib2/sExprLexer.ml +/src/lfsc/lfscLexer.ml +/src/verit/veritLexer.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/smtlib2/smtlib2_parse.ml +/src/lfsc/lfscParser.ml +/src/verit/veritParser.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/smtlib2/smtlib2_parse.mli +/src/lfsc/lfscParser.mli +/src/verit/veritParser.mli + +# compiled OCaml files *.cmt *.cmti -*.vtlog -*.zlog -*.cache *.cmi *.cmo +*.cma *.cmx *.cmxs *.cmxa *.ml.d *.mli.d *.ml4.d -*.native *.o *.a -*.glob -*.vo -*.v.d -*.aux *.mlpack.d -src/Makefile src/extraction/.Makefile.swp src/extraction/smtcoq -src/smtcoq_plugin.ml4 -src/smtlib2/smtlib2_parse.ml -src/verit/veritParser.ml -src/versions/native/Structures.v -src/g_smtcoq.ml4 -src/smtcoq_plugin.mlpack -src/smtlib2/smtlib2_lex.ml -src/smtlib2/smtlib2_parse.mli -src/verit/veritLexer.ml -src/verit/veritParser.mli -src/versions/standard/Array/PArray.v -src/versions/standard/Int63/Int63.v -src/versions/standard/Int63/Int63Axioms.v -src/versions/standard/Int63/Int63Native.v -src/versions/standard/Int63/Int63Op.v -src/versions/standard/Int63/Int63Properties.v -src/versions/standard/Structures.v + +# proof certificates +*.vtlog +*.zlog |