Skip to content
  • Thomas Martinez's avatar
    * src/tgbatest/spotlbtt.test, · 5af687b2
    Thomas Martinez authored
    src/tgbatest/reductgba.cc,
    src/tgbatest/ltl2tgba.cc:
    Add option for reduction of TGBA.
    
    * src/tgbatest/emptchk.test, src/tgbaalgos/Makefile.am,
    src/tgbaalgos/tarjan_on_fly.hh, src/tgbaalgos/tarjan_on_fly.cc,
    src/tgbaalgos/nesteddfs.hh, src/tgbaalgos/nesteddfs.cc,
    src/tgbaalgos/minimalce.hh, src/tgbaalgos/minimalce.cc,
    src/tgbaalgos/colordfs.hh, src/tgbaalgos/colordfs.cc:
    Remove some bugs.
    
    src/tgbaalgos/gtec/ce.cc:
    Modification of construction of counter example.
    
    * src/tgbaalgos/reductgba_sim.hh src/tgbaalgos/reductgba_sim.cc,
    src/tgbaalgos/reductgba_sim_del.cc,
    src/tgba/tgbareduc.hh, src/tgba/tgbareduc.cc:
    Modification for delayed simulation.
    
    
    * src/tgbaalgos/gtec/ce.hh,
    * src/tgbatest/ltl2tgba.cc,
    5af687b2
To find the state of this project's repository at the time of any of these versions, check out the tags.