From 0286b0c003e93b37da071459ff1616169a59aea3 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 10 Jan 2021 12:12:29 +0000 Subject: Add files to .gitignore --- .gitignore | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.gitignore b/.gitignore index 46ee275..70f1a7e 100644 --- a/.gitignore +++ b/.gitignore @@ -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 -- cgit