-
Maximilien Colange authored
* spot/twaalgos/toparity.cc, spot/twaalgos/toparity.hh: implement it, based on last-appearance record (LAR) * spot/twaalgos/Makefile.am: build it * NEWS: document it * python/spot/impl.i: add to python bindings * tests/Makefile.am, tests/python/toparity.py: test it
465536d1
To find the state of this project's repository at the time of any of these versions, check out the tags.