diff options
-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. |