Alexandre Duret-Lutz 9063c5abb4 * src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_fm.cc: Add ... the reduce_ltl argument. * src/tgbatest/ltl2tgba.cc: Add options -fr1, -fr2, -fr3, and -fr4. * src/tgbatest/spotlbtt.test, bench/ltl2tgba/algorithms: Test -fr4. * bench/ltl2tgba/parseout.pl: Suppress Perl warnings on disabled algorithms.		2005-05-04 13:47:38 +00:00
..
emptchk	* bench/emptchk/README: Mention	2005-04-08 19:00:08 +00:00
ltl2tgba	* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_fm.cc: Add	2005-05-04 13:47:38 +00:00
.cvsignore	* src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0.	2005-01-28 23:55:33 +00:00
Makefile.am	* bench/ltl2tgba/README: More instructions.	2005-04-19 09:04:22 +00:00