• martinez's avatar
    * src/ltlvisit/Makefile.am: Copyright 2004. · 4cd10c3d
    martinez authored
    * 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.