From 5ef7084b61148084b438c7ca0bcced21c792bca4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 13 Mar 2008 10:45:48 +0100 Subject: [PATCH] Add .gitignore files --- .gitignore | 18 ++++++++++++++++++ bench/.gitignore | 2 ++ bench/emptchk/.gitignore | 4 ++++ bench/emptchk/models/.gitignore | 1 + bench/ltl2tgba/.gitignore | 7 +++++++ buddy/.gitignore | 13 +++++++++++++ buddy/doc/.gitignore | 2 ++ buddy/examples/.gitignore | 2 ++ buddy/examples/adder/.gitignore | 6 ++++++ buddy/examples/bddcalc/.gitignore | 8 ++++++++ buddy/examples/bddtest/.gitignore | 4 ++++ buddy/examples/calculator/.gitignore | 8 ++++++++ buddy/examples/cmilner/.gitignore | 6 ++++++ buddy/examples/fdd/.gitignore | 6 ++++++ buddy/examples/internal/.gitignore | 5 +++++ buddy/examples/milner/.gitignore | 5 +++++ buddy/examples/money/.gitignore | 5 +++++ buddy/examples/queen/.gitignore | 5 +++++ buddy/examples/solitare/.gitignore | 5 +++++ buddy/src/.gitignore | 8 ++++++++ buddy/tools/.gitignore | 7 +++++++ doc/.gitignore | 8 ++++++++ iface/.gitignore | 2 ++ iface/gspn/.gitignore | 8 ++++++++ iface/gspn/examples/simple/.gitignore | 9 +++++++++ lbtt/.gitignore | 22 ++++++++++++++++++++++ lbtt/doc/.gitignore | 4 ++++ lbtt/src/.gitignore | 17 +++++++++++++++++ src/.gitignore | 5 +++++ src/evtgba/.gitignore | 6 ++++++ src/evtgbaalgos/.gitignore | 6 ++++++ src/evtgbaparse/.gitignore | 13 +++++++++++++ src/evtgbatest/.gitignore | 15 +++++++++++++++ src/ltlast/.gitignore | 6 ++++++ src/ltlenv/.gitignore | 7 +++++++ src/ltlparse/.gitignore | 14 ++++++++++++++ src/ltltest/.gitignore | 23 +++++++++++++++++++++++ src/ltlvisit/.gitignore | 6 ++++++ src/misc/.gitignore | 6 ++++++ src/sanity/.gitignore | 2 ++ src/tgba/.gitignore | 6 ++++++ src/tgbaalgos/.gitignore | 6 ++++++ src/tgbaalgos/gtec/.gitignore | 6 ++++++ src/tgbaparse/.gitignore | 13 +++++++++++++ src/tgbatest/.gitignore | 27 +++++++++++++++++++++++++++ tools/.gitignore | 10 ++++++++++ wrap/.gitignore | 2 ++ wrap/python/.gitignore | 11 +++++++++++ wrap/python/cgi/.gitignore | 4 ++++ wrap/python/tests/.gitignore | 3 +++ 50 files changed, 394 insertions(+) create mode 100644 .gitignore create mode 100644 bench/.gitignore create mode 100644 bench/emptchk/.gitignore create mode 100644 bench/emptchk/models/.gitignore create mode 100644 bench/ltl2tgba/.gitignore create mode 100644 buddy/.gitignore create mode 100644 buddy/doc/.gitignore create mode 100644 buddy/examples/.gitignore create mode 100644 buddy/examples/adder/.gitignore create mode 100644 buddy/examples/bddcalc/.gitignore create mode 100644 buddy/examples/bddtest/.gitignore create mode 100644 buddy/examples/calculator/.gitignore create mode 100644 buddy/examples/cmilner/.gitignore create mode 100644 buddy/examples/fdd/.gitignore create mode 100644 buddy/examples/internal/.gitignore create mode 100644 buddy/examples/milner/.gitignore create mode 100644 buddy/examples/money/.gitignore create mode 100644 buddy/examples/queen/.gitignore create mode 100644 buddy/examples/solitare/.gitignore create mode 100644 buddy/src/.gitignore create mode 100644 buddy/tools/.gitignore create mode 100644 doc/.gitignore create mode 100644 iface/.gitignore create mode 100644 iface/gspn/.gitignore create mode 100644 iface/gspn/examples/simple/.gitignore create mode 100644 lbtt/.gitignore create mode 100644 lbtt/doc/.gitignore create mode 100644 lbtt/src/.gitignore create mode 100644 src/.gitignore create mode 100644 src/evtgba/.gitignore create mode 100644 src/evtgbaalgos/.gitignore create mode 100644 src/evtgbaparse/.gitignore create mode 100644 src/evtgbatest/.gitignore create mode 100644 src/ltlast/.gitignore create mode 100644 src/ltlenv/.gitignore create mode 100644 src/ltlparse/.gitignore create mode 100644 src/ltltest/.gitignore create mode 100644 src/ltlvisit/.gitignore create mode 100644 src/misc/.gitignore create mode 100644 src/sanity/.gitignore create mode 100644 src/tgba/.gitignore create mode 100644 src/tgbaalgos/.gitignore create mode 100644 src/tgbaalgos/gtec/.gitignore create mode 100644 src/tgbaparse/.gitignore create mode 100644 src/tgbatest/.gitignore create mode 100644 tools/.gitignore create mode 100644 wrap/.gitignore create mode 100644 wrap/python/.gitignore create mode 100644 wrap/python/cgi/.gitignore create mode 100644 wrap/python/tests/.gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..290b07199 --- /dev/null +++ b/.gitignore @@ -0,0 +1,18 @@ +Makefile +Makefile.in +configure +config.log +config.status +aclocal.m4 +autom4te.cache +libtool +*.tar.gz +*.patch +*.o +*~ +#*# +.* +!.gitignore +*.bak +*.err +stdout diff --git a/bench/.gitignore b/bench/.gitignore new file mode 100644 index 000000000..282522db0 --- /dev/null +++ b/bench/.gitignore @@ -0,0 +1,2 @@ +Makefile +Makefile.in diff --git a/bench/emptchk/.gitignore b/bench/emptchk/.gitignore new file mode 100644 index 000000000..5dd394a31 --- /dev/null +++ b/bench/emptchk/.gitignore @@ -0,0 +1,4 @@ +Makefile +Makefile.in +defs +pan* diff --git a/bench/emptchk/models/.gitignore b/bench/emptchk/models/.gitignore new file mode 100644 index 000000000..d16d9dc34 --- /dev/null +++ b/bench/emptchk/models/.gitignore @@ -0,0 +1 @@ +*.tgba diff --git a/bench/ltl2tgba/.gitignore b/bench/ltl2tgba/.gitignore new file mode 100644 index 000000000..56a141e28 --- /dev/null +++ b/bench/ltl2tgba/.gitignore @@ -0,0 +1,7 @@ +Makefile.in +Makefile +*.cfg +*.txt +*.log +defs +ltl2baw.pl diff --git a/buddy/.gitignore b/buddy/.gitignore new file mode 100644 index 000000000..af651cd16 --- /dev/null +++ b/buddy/.gitignore @@ -0,0 +1,13 @@ +Makefile.in +Makefile +aclocal.m4 +configure +tools +config.log +config.status +libtool +*.tar.gz +autom4te.cache +config.h +config.h.in +stamp-h1 diff --git a/buddy/doc/.gitignore b/buddy/doc/.gitignore new file mode 100644 index 000000000..3dda72986 --- /dev/null +++ b/buddy/doc/.gitignore @@ -0,0 +1,2 @@ +Makefile.in +Makefile diff --git a/buddy/examples/.gitignore b/buddy/examples/.gitignore new file mode 100644 index 000000000..3dda72986 --- /dev/null +++ b/buddy/examples/.gitignore @@ -0,0 +1,2 @@ +Makefile.in +Makefile diff --git a/buddy/examples/adder/.gitignore b/buddy/examples/adder/.gitignore new file mode 100644 index 000000000..f98457e44 --- /dev/null +++ b/buddy/examples/adder/.gitignore @@ -0,0 +1,6 @@ +Makefile.in +Makefile +adder +.deps +.libs +adder diff --git a/buddy/examples/bddcalc/.gitignore b/buddy/examples/bddcalc/.gitignore new file mode 100644 index 000000000..51e0dbd79 --- /dev/null +++ b/buddy/examples/bddcalc/.gitignore @@ -0,0 +1,8 @@ +Makefile.in +Makefile +lexer.cxx +parser.cxx +parser.h +.deps +.libs +bddcalc diff --git a/buddy/examples/bddtest/.gitignore b/buddy/examples/bddtest/.gitignore new file mode 100644 index 000000000..796d735e8 --- /dev/null +++ b/buddy/examples/bddtest/.gitignore @@ -0,0 +1,4 @@ +Makefile +Makefile.in +.deps +bddtest diff --git a/buddy/examples/calculator/.gitignore b/buddy/examples/calculator/.gitignore new file mode 100644 index 000000000..51e0dbd79 --- /dev/null +++ b/buddy/examples/calculator/.gitignore @@ -0,0 +1,8 @@ +Makefile.in +Makefile +lexer.cxx +parser.cxx +parser.h +.deps +.libs +bddcalc diff --git a/buddy/examples/cmilner/.gitignore b/buddy/examples/cmilner/.gitignore new file mode 100644 index 000000000..c77bbaa65 --- /dev/null +++ b/buddy/examples/cmilner/.gitignore @@ -0,0 +1,6 @@ +Makefile.in +Makefile +.deps +.libs +milner +cmilner diff --git a/buddy/examples/fdd/.gitignore b/buddy/examples/fdd/.gitignore new file mode 100644 index 000000000..bb236c2a7 --- /dev/null +++ b/buddy/examples/fdd/.gitignore @@ -0,0 +1,6 @@ +Makefile.in +Makefile +.deps +.libs +statespace +fdd diff --git a/buddy/examples/internal/.gitignore b/buddy/examples/internal/.gitignore new file mode 100644 index 000000000..b0ce20d34 --- /dev/null +++ b/buddy/examples/internal/.gitignore @@ -0,0 +1,5 @@ +Makefile.in +Makefile +.deps +.libs +bddtest diff --git a/buddy/examples/milner/.gitignore b/buddy/examples/milner/.gitignore new file mode 100644 index 000000000..bb25749f1 --- /dev/null +++ b/buddy/examples/milner/.gitignore @@ -0,0 +1,5 @@ +Makefile.in +Makefile +.deps +.libs +milner diff --git a/buddy/examples/money/.gitignore b/buddy/examples/money/.gitignore new file mode 100644 index 000000000..0d9413c74 --- /dev/null +++ b/buddy/examples/money/.gitignore @@ -0,0 +1,5 @@ +Makefile.in +Makefile +.deps +.libs +money diff --git a/buddy/examples/queen/.gitignore b/buddy/examples/queen/.gitignore new file mode 100644 index 000000000..a18b08746 --- /dev/null +++ b/buddy/examples/queen/.gitignore @@ -0,0 +1,5 @@ +Makefile.in +Makefile +.deps +.libs +queen diff --git a/buddy/examples/solitare/.gitignore b/buddy/examples/solitare/.gitignore new file mode 100644 index 000000000..8f1d8f09c --- /dev/null +++ b/buddy/examples/solitare/.gitignore @@ -0,0 +1,5 @@ +Makefile.in +Makefile +.deps +.libs +solitare diff --git a/buddy/src/.gitignore b/buddy/src/.gitignore new file mode 100644 index 000000000..077228768 --- /dev/null +++ b/buddy/src/.gitignore @@ -0,0 +1,8 @@ +*.lo +*.la +.libs +.deps +Makefile.in +Makefile +bddtest + diff --git a/buddy/tools/.gitignore b/buddy/tools/.gitignore new file mode 100644 index 000000000..9e25a97e6 --- /dev/null +++ b/buddy/tools/.gitignore @@ -0,0 +1,7 @@ +config.guess +config.sub +depcomp +install-sh +ltmain.sh +missing +mkinstalldirs diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 000000000..28f62a3b3 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,8 @@ +Doxyfile +Makefile +Makefile.in +spot.html +spot.latex +spot.tag +*.pdf +stamp diff --git a/iface/.gitignore b/iface/.gitignore new file mode 100644 index 000000000..b840c2180 --- /dev/null +++ b/iface/.gitignore @@ -0,0 +1,2 @@ +Makefile.in +Makefile \ No newline at end of file diff --git a/iface/gspn/.gitignore b/iface/gspn/.gitignore new file mode 100644 index 000000000..9b1222407 --- /dev/null +++ b/iface/gspn/.gitignore @@ -0,0 +1,8 @@ +Makefile.in +Makefile +*.lo +*.o +*.la +.deps +.libs +defs diff --git a/iface/gspn/examples/simple/.gitignore b/iface/gspn/examples/simple/.gitignore new file mode 100644 index 000000000..1f2ec0b48 --- /dev/null +++ b/iface/gspn/examples/simple/.gitignore @@ -0,0 +1,9 @@ +simple.cap +simple.cc +simple.mark +simple.minval +simple.outtype +simple.parse +simple.sc +simple.string +simple.val diff --git a/lbtt/.gitignore b/lbtt/.gitignore new file mode 100644 index 000000000..04b16848d --- /dev/null +++ b/lbtt/.gitignore @@ -0,0 +1,22 @@ +Makefile +Makefile.in +configure +config.log +config.status +aclocal.m4 +autom4te.cache +libtool +*.tar.gz +*.patch +depcomp +install-sh +missing +mkinstalldirs +py-compile +config.guess +config.sub +ltmain.sh +ylwrap +config.h.in +config.h +stamp-h1 diff --git a/lbtt/doc/.gitignore b/lbtt/doc/.gitignore new file mode 100644 index 000000000..cc5fa0863 --- /dev/null +++ b/lbtt/doc/.gitignore @@ -0,0 +1,4 @@ +Makefile.in +Makefile +*.info* +texinfo.tex diff --git a/lbtt/src/.gitignore b/lbtt/src/.gitignore new file mode 100644 index 000000000..080093795 --- /dev/null +++ b/lbtt/src/.gitignore @@ -0,0 +1,17 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in +lbtt +lbtt-translate +Config-lex.cc +Config-parse.cc +Config-parse.h +Graph.h +NeverClaim-lex.cc +NeverClaim-parse.cc +NeverClaim-parse.h +Ltl-parse.cc +Ltl-parse.h diff --git a/src/.gitignore b/src/.gitignore new file mode 100644 index 000000000..6a5900caf --- /dev/null +++ b/src/.gitignore @@ -0,0 +1,5 @@ +.deps +Makefile +Makefile.in +.libs +libspot.la diff --git a/src/evtgba/.gitignore b/src/evtgba/.gitignore new file mode 100644 index 000000000..799fc9785 --- /dev/null +++ b/src/evtgba/.gitignore @@ -0,0 +1,6 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in diff --git a/src/evtgbaalgos/.gitignore b/src/evtgbaalgos/.gitignore new file mode 100644 index 000000000..799fc9785 --- /dev/null +++ b/src/evtgbaalgos/.gitignore @@ -0,0 +1,6 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in diff --git a/src/evtgbaparse/.gitignore b/src/evtgbaparse/.gitignore new file mode 100644 index 000000000..9a1c7773f --- /dev/null +++ b/src/evtgbaparse/.gitignore @@ -0,0 +1,13 @@ +.deps +Makefile +Makefile.in +location.hh +evtgbaparse.cc +evtgbaparse.hh +evtgbaparse.output +evtgbascan.cc +position.hh +stack.hh +*.lo +*.la +.libs diff --git a/src/evtgbatest/.gitignore b/src/evtgbatest/.gitignore new file mode 100644 index 000000000..6aded371c --- /dev/null +++ b/src/evtgbatest/.gitignore @@ -0,0 +1,15 @@ +.deps +Makefile +Makefile.in +defs +explicit +.libs +readsave +product +*.ps +*.dot +expected +input* +ltl2evtgba +stdout +*.err diff --git a/src/ltlast/.gitignore b/src/ltlast/.gitignore new file mode 100644 index 000000000..6fe665a04 --- /dev/null +++ b/src/ltlast/.gitignore @@ -0,0 +1,6 @@ +.deps +Makefile +Makefile.in +*.lo +*.la +.libs diff --git a/src/ltlenv/.gitignore b/src/ltlenv/.gitignore new file mode 100644 index 000000000..df884f89f --- /dev/null +++ b/src/ltlenv/.gitignore @@ -0,0 +1,7 @@ +.deps +Makefile +Makefile.in +libltlenv.a +*.lo +*.la +.libs diff --git a/src/ltlparse/.gitignore b/src/ltlparse/.gitignore new file mode 100644 index 000000000..3ac0ce0a5 --- /dev/null +++ b/src/ltlparse/.gitignore @@ -0,0 +1,14 @@ +.deps +Makefile +Makefile.in +location.hh +ltlparse.cc +ltlparse.hh +ltlparse.output +ltlscan.cc +position.hh +readltl +stack.hh +*.lo +*.la +.libs diff --git a/src/ltltest/.gitignore b/src/ltltest/.gitignore new file mode 100644 index 000000000..286fb15c1 --- /dev/null +++ b/src/ltltest/.gitignore @@ -0,0 +1,23 @@ +Makefile +Makefile.in +.deps +ltl2dot +ltl2text +stdout +parser.dot +expect +defs +equals +lunabbrev +tunabbrev +nenoform +tunenoform +.libs +tostring +reduc +reduccmp +syntimpl +randltl +*.dot +reductau +reductaustr diff --git a/src/ltlvisit/.gitignore b/src/ltlvisit/.gitignore new file mode 100644 index 000000000..6fe665a04 --- /dev/null +++ b/src/ltlvisit/.gitignore @@ -0,0 +1,6 @@ +.deps +Makefile +Makefile.in +*.lo +*.la +.libs diff --git a/src/misc/.gitignore b/src/misc/.gitignore new file mode 100644 index 000000000..6e5ca7ed4 --- /dev/null +++ b/src/misc/.gitignore @@ -0,0 +1,6 @@ +Makefile +Makefile.in +.deps +.libs +*.lo +*.la diff --git a/src/sanity/.gitignore b/src/sanity/.gitignore new file mode 100644 index 000000000..3dda72986 --- /dev/null +++ b/src/sanity/.gitignore @@ -0,0 +1,2 @@ +Makefile.in +Makefile diff --git a/src/tgba/.gitignore b/src/tgba/.gitignore new file mode 100644 index 000000000..799fc9785 --- /dev/null +++ b/src/tgba/.gitignore @@ -0,0 +1,6 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in diff --git a/src/tgbaalgos/.gitignore b/src/tgbaalgos/.gitignore new file mode 100644 index 000000000..799fc9785 --- /dev/null +++ b/src/tgbaalgos/.gitignore @@ -0,0 +1,6 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in diff --git a/src/tgbaalgos/gtec/.gitignore b/src/tgbaalgos/gtec/.gitignore new file mode 100644 index 000000000..799fc9785 --- /dev/null +++ b/src/tgbaalgos/gtec/.gitignore @@ -0,0 +1,6 @@ +.deps +.libs +*.lo +*.la +Makefile +Makefile.in diff --git a/src/tgbaparse/.gitignore b/src/tgbaparse/.gitignore new file mode 100644 index 000000000..0b2891e85 --- /dev/null +++ b/src/tgbaparse/.gitignore @@ -0,0 +1,13 @@ +.deps +Makefile +Makefile.in +location.hh +tgbaparse.cc +tgbaparse.hh +tgbaparse.output +tgbascan.cc +position.hh +stack.hh +*.lo +*.la +.libs diff --git a/src/tgbatest/.gitignore b/src/tgbatest/.gitignore new file mode 100644 index 000000000..b13878674 --- /dev/null +++ b/src/tgbatest/.gitignore @@ -0,0 +1,27 @@ +.deps +Makefile +Makefile.in +defs +explicit +.libs +tgbaread +readsave +ltl2tgba +ltlprod +bddprod +explprod +*.ps +*.dot +tripprod +mixprod +spotlbtt +ltlmagic +expldot +powerset +reduccmp +reductgba +randtgba +blue_counter +input +output1 +output2 diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 000000000..2376a8c62 --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1,10 @@ +depcomp +install-sh +missing +mkinstalldirs +py-compile +config.guess +config.sub +ltmain.sh +compile +ylwrap diff --git a/wrap/.gitignore b/wrap/.gitignore new file mode 100644 index 000000000..282522db0 --- /dev/null +++ b/wrap/.gitignore @@ -0,0 +1,2 @@ +Makefile +Makefile.in diff --git a/wrap/python/.gitignore b/wrap/python/.gitignore new file mode 100644 index 000000000..64a1cd01c --- /dev/null +++ b/wrap/python/.gitignore @@ -0,0 +1,11 @@ +.deps +.libs +Makefile +Makefile.in +*.la +spot.py* +buddy.py* +*.lo +*.loT +*_wrap.* +*.pyc diff --git a/wrap/python/cgi/.gitignore b/wrap/python/cgi/.gitignore new file mode 100644 index 000000000..5e70e476e --- /dev/null +++ b/wrap/python/cgi/.gitignore @@ -0,0 +1,4 @@ +Makefile.in +Makefile +ltl2tgba.py + diff --git a/wrap/python/tests/.gitignore b/wrap/python/tests/.gitignore new file mode 100644 index 000000000..bef05ca47 --- /dev/null +++ b/wrap/python/tests/.gitignore @@ -0,0 +1,3 @@ +Makefile +Makefile.in +run