• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_fm.cc · 85c5c870
    Alexandre Duret-Lutz authored
    (ltl_to_tgba_fm): Add a new option "containment_checks" to enable
    some language containment checks (via emptiness checks) during the
    translation.  This first attempt currently only use containment
    checks to merge states bisimulating each other.
    * src/tgbatest/ltl2tgba.cc: Bind this to option "-c".
    * src/tgbatest/spotlbtt.test: Check it.
    85c5c870
To find the state of this project's repository at the time of any of these versions, check out the tags.