• Alexandre Duret-Lutz's avatar
    ltlcross: add option --strength and --ambiguous · 3b5fa22a
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.