Make linear arithmetic use its inference manager (#5934)

[cvc5.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b63d4c851efda56776a4884cc51a7a511e8a0190..2e3ec74b81a0d8b708d957b51d8af00178b72d48 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,33 +1,16 @@
-/autom4te.cache
 /stamp-h
-/config.h.in
-/config.log
-/config.status
-/config.cache
-/cvc4autoconfig.h.in
-/libtool
 /stamp-h1
 /cvc4-*.tar.gz
 /cvc4-*.tar.bz2
-/builds/
+/build/
 /doc/doxygen
-.dep
-Makefile.in
-/configure
-/aclocal.m4
 callgrind.out*
 gmon.out
 stamp-generated
 generated/
 *~
 \#*\#
-*.gcov
-/lcov/
-/config/compile
-.cvc4_config
-config.reconfig
 *.swp
 /debug/
-/personal.conf
-/personal.mk
 /antlr-3.4
+deps/