Alexandre Duret-Lutz 8cdc196719 Use -l wherever we where expecting ltl2tgba to default to LaCIM. ... * bench/ltl2tgba/algorithms: Use -l for all LaCIM invocations. * src/tgbatest/dupexp.test, src/tgbatest/emptchk.test, src/tgbatest/spotlbtt.test: Likewise.		2009-11-12 16:46:04 +01:00
..
emptchk	* bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.0.	2009-06-17 16:28:44 +02:00
gspn-ssp	Add missing bench/gspn-ssp/README file to the repository	2008-12-02 11:31:58 +01:00
ltl2tgba	Use -l wherever we where expecting ltl2tgba to default to LaCIM.	2009-11-12 16:46:04 +01:00
ltlcounter	Add a benchmark using Kristin Y. Rozier's LTLcounter scripts.	2009-11-09 12:15:24 +01:00
scc-stats	Add 2 benchmarks directories.	2009-07-08 17:01:43 +02:00
split-product	Deprecate ltl::destroy(f) in favor of f->destroy()	2009-11-09 07:13:31 +01:00
.cvsignore	* src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0.	2005-01-28 23:55:33 +00:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
Makefile.am	Add a benchmark using Kristin Y. Rozier's LTLcounter scripts.	2009-11-09 12:15:24 +01:00