diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-01-10 12:12:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-10 12:12:29 +0000 |
| commit | 0286b0c003e93b37da071459ff1616169a59aea3 (patch) | |
| tree | 369371f9ff950be1ac57fbccaf67a4187c5de0a8 /.gitignore | |
| parent | 4ff1d635ca5251c1008e69a7aea94c4ad703c7b9 (diff) | |
| download | vericert-0286b0c003e93b37da071459ff1616169a59aea3.tar.gz vericert-0286b0c003e93b37da071459ff1616169a59aea3.zip | |
Add files to .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -34,6 +34,7 @@ nra.cache Makefile.coq Makefile.coq.conf .coqdeps.d +.Makefile.coq.d src/extraction/*.ml src/extraction/*.mli @@ -50,3 +51,14 @@ dune-project /docs/html .DS_Store +debug/* + +# CompCert +*.rtl.* +*.rtl +*.ltl +a.out +lib/COMPCERTSTAMP + +# Misc +lpsolve.txt |