• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/replayrun.cc, src/tgbaalgos/replayrun.hh: New files. · 7819f14d
    Alexandre Duret-Lutz authored
    Cannot test them because the run returned by the emptiness checks
    are currently incomplete (they lack the acceptance conditions, and
    sometimes even the labels in the prefix).
    * src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS,
    libtgbaalgos_la_SOURCES): Add them.
    * src/tgbatest/ltl2tgba.cc (main): Prepare to use replay_tgba_run
    when the emptiness checks are fixed.
    7819f14d
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 160 KB