-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc: Fix. * src/tgbatest/randpsl.test: Rewrite using ltlcross and add a testcase. * NEWS: Mention it.
408dc878
To find the state of this project's repository at the time of any of these versions, check out the tags.