-
Alexandre Duret-Lutz authored
Report from David Müller. * spot/twaalgos/simulation.cc: Add wrapper to deal with automata sharing Fin/Inf sets. * tests/core/ltl2tgba2.test: New test cases. * NEWS: Mention the change.
7300488a
To find the state of this project's repository at the time of any of these versions, check out the tags.