-
Alexandre Duret-Lutz authored
* wrap/python/ajax/spot.in: Do full scc_filter for TGBA (-R3f), and keep some extra acceptance conditions (-R3) when degeneralizing. The converse was done.
97df5b42
To find the state of this project's repository at the time of any of these versions, check out the tags.