Skip to content
Find file Blame History Permalink
  • Thibaud Michaud's avatar
    remove universal transitions on the fly · a13a4e7d
    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.