diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -60,12 +60,17 @@ lib/hol/sail-heap /test/smt/*.out /test/smt/*.smt2 /test/c/*.c +/test/c/*.h /test/c/*.result /test/c/*.iresult /test/c/*.oresult /test/c/*.bin /test/c/*_ocaml /test/c/_sbuild* +/test/coq/.lia.cache +/test/coq/.nia.cache +/test/coq/out.v +/test/coq/out_types.v /test/mono/Out_lemmas.thy /test/mono/log /test/mono/test.cmi |