diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
| commit | e85befdc955ddcfef2a84b976db4564051368fff (patch) | |
| tree | af5f7c555fade846b40e3cba8e63b91542b40a52 | |
| parent | 65f30c5524280b5639a94674828986f0635b2477 (diff) | |
| download | vericert-e85befdc955ddcfef2a84b976db4564051368fff.tar.gz vericert-e85befdc955ddcfef2a84b976db4564051368fff.zip | |
Update .gitignore
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | README.md | 1 |
2 files changed, 4 insertions, 1 deletions
@@ -33,7 +33,9 @@ Makefile.coq Makefile.coq.conf .coqdeps.d -extraction/src/ +src/extraction/*.ml +src/extraction/*.mli +src/extraction/STAMP # Ocaml _build @@ -1,2 +1,3 @@ # CoqUp + A formally verified HLS tool in Coq. |