-
Alexandre Duret-Lutz authored
Suggested by František Blahoudek. * bin/ltlcross.cc: Implement the two options. * doc/org/ltlcross.org, NEWS: Document them. * tests/core/complementation.test: Adjust test case. * tests/core/ltlcross3.test, tests/core/unambig.test: More tests.
3b5fa22a
To find the state of this project's repository at the time of any of these versions, check out the tags.