-
Alexandre Duret-Lutz authored
Fixes #257. * spot/twaalgos/degen.cc: Implement this optimization. * tests/core/degendet.test: Add a few test cases. * tests/core/ltl2tgba2.test: Adjust expected sizes. * NEWS: Mention the change.
679b6cff
To find the state of this project's repository at the time of any of these versions, check out the tags.