diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-10-01 22:32:31 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-10-01 22:32:31 +0200 |
| commit | 4294883295f02122cde3e43f73e166f40390520b (patch) | |
| tree | 8bfa67033c0c6e19b0a20a5daf7ac74349d48903 /.gitignore | |
| parent | fe7938a490d80442702cc61f9163cd4f7fcbd71d (diff) | |
| download | smtcoq-4294883295f02122cde3e43f73e166f40390520b.tar.gz smtcoq-4294883295f02122cde3e43f73e166f40390520b.zip | |
Update gitignore
Diffstat (limited to '.gitignore')
| -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 |