-
Thomas Medioni authored
Fixes #273. * NEWS: Mention this. * spot/twaalgos/dualize.cc, tests/python/dualize.py: Adapt dualize. * spot/twaalgos/sbacc.cc, tests/core/sbacc.test: sbacc support alternating automata
7e7c2575
To find the state of this project's repository at the time of any of these versions, check out the tags.