-
Alexandre Duret-Lutz authored
* src/twaalgos/safety.hh, src/twaalgos/safety.cc: Here. * src/bin/ltlfilt.cc, src/tests/ikwiad.cc, src/twaalgos/minimize.cc, wrap/python/ajax/spotcgi.in: Adjust. * NEWS: Mention the change.
8a8ec21d
To find the state of this project's repository at the time of any of these versions, check out the tags.