-
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
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