-
Alexandre Duret-Lutz authored
clone for M. * src/ltlvisit/contain.cc (reduce_tau03_visitor): Remove the stronger rules for R and M. They were wrong. * src/ltltest/reduccmp.test: Test a simpple counterexample.
5755a531
To find the state of this project's repository at the time of any of these versions, check out the tags.