-
Thibaud Michaud authored
* spot/twaalgos/alternation.cc, spot/twaalgos/alternation.hh: Implement remove_univ_otf. * tests/python/alternating.py: Test it. * python/spot/impl.i: Bindings. * NEWS: Document it.
a13a4e7d
To find the state of this project's repository at the time of any of these versions, check out the tags.