Alexandre Duret-Lutz
3ec8a99b24
* src/ltltest/reduc.test: Use test a = b' not test a == b'.
...
Reported by <Denis.Poitrenaud@lip6.fr> (failure on Cygwin).
2004-07-22 13:53:51 +00:00
Alexandre Duret-Lutz
a37bac0133
* src/ltltest/Makefile.am (EXTRA_DIST): Distribute formulae.txt.
...
* src/ltltest/formulae.txt: New files (2200 LTL formulea generated
by Wring).
* src/ltltest/formules.ltl: Delete.
* src/reduc.test: Read formulae.txt.
2004-05-24 12:59:34 +00:00
Alexandre Duret-Lutz
0c44ca35b3
* src/ltltest/reduc.test: Use ./defs and clean result.data.
...
* src/ltltest/Makefile.am (CLEANFILES): Clean result.data.
2004-05-14 08:41:32 +00:00
martinez
4cd10c3dfc
* src/ltlvisit/Makefile.am: Copyright 2004.
...
* src/ltltest/inf.test: More test.
* src/ltlvisit/basereduc.cc, src/ltlvisit/forminf.cc (spot):
Use dynamic_cast.
* src/ltlvisit/reducform.cc, src/ltlvisit/reducform.hh,
src/ltltest/reduc.test, src/ltltest/reduc.cc: Add an option
to choose which rules applies to simplify the formula.
2004-05-13 16:00:15 +00:00
Alexandre Duret-Lutz
f7e5fe0821
* src/ltltest/reduc.test: Typo.
2004-05-13 09:50:48 +00:00
Alexandre Duret-Lutz
a66e7250bf
* src/ltltest/reduc.test: POSIXify.
2004-05-11 08:51:20 +00:00
Alexandre Duret-Lutz
69169970a2
* src/ltltest/inf.cc, src/ltltest/inf.test, src/ltltest/reduc.test,
...
src/ltlvisit/formlength.cc, src/ltlvisit/reducform.cc,
src/ltlvisit/reducform.hh: Fix copyright year, these files were
created in 2004.
2004-05-10 17:26:32 +00:00
martinez
bafc92d0b8
*** empty log message ***
2004-05-10 15:43:18 +00:00
