From e85befdc955ddcfef2a84b976db4564051368fff Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 29 Mar 2020 16:41:56 +0100 Subject: Update .gitignore --- .gitignore | 4 +++- README.md | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index e986f2f..72e3693 100644 --- a/.gitignore +++ b/.gitignore @@ -33,7 +33,9 @@ Makefile.coq Makefile.coq.conf .coqdeps.d -extraction/src/ +src/extraction/*.ml +src/extraction/*.mli +src/extraction/STAMP # Ocaml _build diff --git a/README.md b/README.md index 1861b29..667f3b6 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,3 @@ # CoqUp + A formally verified HLS tool in Coq. -- cgit