.gitignore

   1 /autom4te.cache
   2 /stamp-h
   3 /config.h.in
   4 /config.log
   5 /config.status
   6 /config.cache
   7 /cvc4autoconfig.h.in
   8 /libtool
   9 /stamp-h1
  10 /cvc4-*.tar.gz
  11 /cvc4-*.tar.bz2
  12 /builds/
  13 /doc/doxygen
  14 .dep
  15 Makefile.in
  16 /configure
  17 /aclocal.m4
  18 callgrind.out*
  19 gmon.out
  20 stamp-generated
  21 generated/
  22 *~
  23 \#*\#
  24 *.gcov
  25 /lcov/
  26 /config/compile
  27 .cvc4_config
  28 config.reconfig
  29 *.swp
  30 /debug/
  31 /personal.conf
  32 /personal.mk
  33 /antlr-3.4