more files to ignore

.gitignore

@@ -50,3 +50,7 @@ config.h.in
 src/src/misc/_config.h
 _configs.sed
 stamp-h1
+*.trs
+_*_
+spot-*/*
+config.cache

buddy/examples/bddcalc/.gitignore

@@ -2,6 +2,7 @@ Makefile.in
 Makefile
 lexer.cxx
 parser.cxx
+parser.c
 parser.h
 .deps
 .libs

lbtt/src/.gitignore

@@ -8,10 +8,13 @@ lbtt
 lbtt-translate
 Config-lex.cc
 Config-parse.cc
+Config-parse.c
 Config-parse.h
 Graph.h
 NeverClaim-lex.cc
 NeverClaim-parse.cc
+NeverClaim-parse.c
 NeverClaim-parse.h
 Ltl-parse.cc
+Ltl-parse.c
 Ltl-parse.h

src/bin/.gitignore

 ltlfilt
 ltl2tgba
+ltl2tgta
 randltl
 genltl
+ltlcross
 *.a
 *.1
-
+lck-*

src/kripketest/.gitignore

 Makefile
 Makefile.in
+defs

src/ltltest/.gitignore

@@ -24,3 +24,7 @@ reductaustr
 genltl
 kind
 consterm
+apcollect
+length
+reduceu
+unabbrevwm

src/sabatest/.gitignore

 defs
+sabacomplementtgba

src/tgbatest/.gitignore

-.deps
-Makefile
-Makefile.in
+bddprod
+blue_counter
+complement
 defs
+.deps
+*.dot
+eltl2tgba
+expldot
 explicit
+explicit2
+explprod
+input
+intvcomp
+intvcmp2
 .libs
-tgbaread
-readsave
 ltl2tgba
+ltlmagic
 ltlprod
-bddprod
-explprod
-*.ps
-*.dot
-tripprod
+Makefile
+Makefile.in
 mixprod
-spotlbtt
-ltlmagic
-expldot
+output1
+output2
 powerset
+*.ps
+randtgba
+readsave
 reduccmp
 reductgba
-randtgba
-blue_counter
-input
-output1
-output2
-eltl2tgba
-intvcomp
+spotlbtt
 taatgba
+tgbaread
+tripprod

tools/.gitignore

@@ -8,3 +8,5 @@ config.sub
 ltmain.sh
 compile
 ylwrap
+x-to-1
+test-driver