1. 26 May, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/ltlvisit/formlength.cc: Rename as ... · d973c1da
      Alexandre Duret-Lutz authored
      * src/ltlvisit/length.cc: ... this.
      * src/ltlvisit/length.hh: New file, extracted from ...
      * src/ltlvisit/reducform.hh: ... here.
      * src/ltlvisit/Makefile.am (ltlvisit_HEADERS): Add length.hh.
      (libltlvisit_la_SOURCES): Rename formlength.cc as length.cc.
      * src/ltltest/reduc.cc: Include length.hh.
      d973c1da
  2. 25 May, 2004 10 commits
  3. 24 May, 2004 6 commits
  4. 21 May, 2004 3 commits
  5. 18 May, 2004 2 commits
  6. 17 May, 2004 8 commits
  7. 14 May, 2004 9 commits
  8. 13 May, 2004 1 commit
    • 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.
      4cd10c3d