-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc, doc/tl/tl.tex: Remove the rule. * src/ltltest/reduc0.test: Add a regression test. * src/ltltest/reduccmp.test: Adjust test cases for its removal. * NEWS: Mention it.
7619a5a0
To find the state of this project's repository at the time of any of these versions, check out the tags.