diff options
-rw-r--r-- | .gitignore | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -1,4 +1,5 @@ *.annot +*.cache # ocamlbuild working directory _build/ @@ -29,6 +30,7 @@ src/smtcoq_plugin.ml4 src/versions/native/Structures.v src/g_smtcoq.ml4 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 @@ -42,24 +44,24 @@ 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 +/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/smtlib2/smtlib2_parse.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/smtlib2/smtlib2_parse.mli /src/lfsc/lfscParser.mli /src/verit/veritParser.mli +/3rdparty/alt-ergo/smtlib2_parse.mli # compiled OCaml files *.cmt |