-
Alexandre Duret-Lutz authored
into ... (emptiness_check_shy): This new subclass of emptiness_check. * src/tgbaalgos/emptinesscheck.cc, src/tgbatest/ltl2tgba.cc, iface/gspn/ltlgspn.cc: Adjust.
b85e9302
To find the state of this project's repository at the time of any of these versions, check out the tags.