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