| .. |
|
.cvsignore
|
* src/tgba/tgbatba.hh, src/tgba/tgbatba.cc
|
2003-07-28 15:49:16 +00:00 |
|
bddprod.test
|
Run valgrind in test cases.
|
2004-01-08 15:44:27 +00:00 |
|
defs.in
|
* src/ltltest/defs.in, src/tgbatest/defs.in: Correctly set exitcode
|
2004-04-20 11:11:40 +00:00 |
|
dupexp.test
|
Run valgrind in test cases.
|
2004-01-08 15:44:27 +00:00 |
|
emptchk.test
|
* src/tgbaalgos/emptinesscheck.cc (emptiness_check::check2):
|
2004-01-09 17:22:09 +00:00 |
|
emptchke.test
|
* src/tgbaalgos/emptinesscheck.cc (emptiness_check::check2):
|
2004-01-09 17:22:09 +00:00 |
|
explicit.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
explicit.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
explpro2.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
explpro3.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
explprod.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
explprod.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
ltl2baw.pl
|
* src/tgbatest/ltl2baw.pl (END): Ensure LTL2TGBA is always
|
2004-02-13 14:47:34 +00:00 |
|
ltl2neverclaim.test
|
* src/ltlvisit/tostring.hh (to_spin_string): New function.
|
2004-04-21 15:18:07 +00:00 |
|
ltl2tgba.cc
|
* src/tgbatest/ltl2tgba.cc: Add some option for the reduction of
|
2004-06-15 16:24:02 +00:00 |
|
ltl2tgba.test
|
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Clone and then
|
2004-05-03 16:41:00 +00:00 |
|
ltlprod.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
ltlprod.test
|
Run valgrind in test cases.
|
2004-01-08 15:44:27 +00:00 |
|
Makefile.am
|
* src/tgbatest/ltl2tgba.cc: Add some option for the reduction of
|
2004-06-15 16:24:02 +00:00 |
|
mixprod.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
mixprod.test
|
Run valgrind in test cases.
|
2004-01-08 15:44:27 +00:00 |
|
powerset.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
readsave.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
readsave.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
reductgba.cc
|
* src/tgbatest/reductgba.cc, src/tgbatest/reductgba.test: Test for
|
2004-06-16 09:31:43 +00:00 |
|
reductgba.test
|
* src/tgbatest/reductgba.cc, src/tgbatest/reductgba.test: Test for
|
2004-06-16 09:31:43 +00:00 |
|
spotlbtt.test
|
* src/tgbatest/ltl2tgba.cc: Add some option for the reduction of
|
2004-06-15 16:24:02 +00:00 |
|
tgbaread.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
tgbaread.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
|
tripprod.cc
|
* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc,
|
2004-02-02 20:40:32 +00:00 |
|
tripprod.test
|
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
|
2004-05-14 11:01:14 +00:00 |
