-
Alexandre Duret-Lutz authored
* spot/twaalgos/postproc.cc, spot/twaalgos/translate.cc: Here. * tests/core/genltl.test, tests/core/parity2.test, tests/core/sccsimpl.test, tests/python/twagraph-internals.ipynb: Adjust test cases. * NEWS: Mention it.
eb7b68ad
To find the state of this project's repository at the time of any of these versions, check out the tags.