• Thomas Medioni's avatar
    introduce spot::simplify_acceptance() · a12d676b
    Thomas Medioni authored
    Simplify some automata where some marks are identical,
    or complementary to another. Fixes #216.
    * NEWS: mention the new function.
    * spot/twaalgos/cleanacc.cc, spot/twaalgos/cleanacc.hh: Implement
      the function.
    * tests/Makefile.am, tests/python/merge.py: Test this implementation.
To find the state of this project's repository at the time of any of these versions, check out the tags.