Skip to content
  • Thomas Martinez's avatar
    * src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, · 9ce68888
    Thomas Martinez authored
    src/tgbaalgos/reductgba_sim.cc,	src/tgbaalgos/reductgba_sim.hh,
    src/tgbaalgos/reductgba_sim_del.cc: Remove some comments.
    
    * src/tgbatest/ltl2tgba.cc, src/tgbatest/reductgba.cc: Adjust ...
    * src/tgbatest/spotlbtt.test: More test (delayed simulation)
    9ce68888
To find the state of this project's repository at the time of any of these versions, check out the tags.