Skip to content
  • Thomas Martinez's avatar
    * src/tgbatest/spotlbtt.test: We don't check the post-reduction · c769f747
    Thomas Martinez authored
    with scc and delayed simulation.
    
    * src/tgbatest/ltl2tgba.cc: Adjust parameters.
    * src/tgbatest/reductgba.cc, src/tgbatest/Makefile.am: More Test.
    * src/tgbaalgos/reductgba_sim_del.cc: Not finish, lot of bugs.
    * src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/reductgba_sim.cc:
    Remove some useless comments.
    * src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh: Bug in SCC.
    
    * src/ltlvisit/reducform.cc: Correct some bug for multop.
    * src/ltltest/reduccmp.test: More Test.
    * src/ltltest/reduc.cc: Thinko
    * src/ltltest/equals.cc: Reduction compare
    c769f747
To find the state of this project's repository at the time of any of these versions, check out the tags.