-
Alexandre Duret-Lutz authored
Suggested by Tobias Meggendorfer. Fixes #295. * bin/ltlcross.cc, bin/common_trans.hh, bin/common_trans.cc: Implement this --reference option. * NEWS, doc/org/ltlcross.org: Document it. * tests/core/ltlcross3.test: Test it.
fcccd5f4
To find the state of this project's repository at the time of any of these versions, check out the tags.