• Alexandre Duret-Lutz's avatar
    simplify: fix 3 incorrect simplification rules · 48471b51
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.cc: Remove two incorrect rules, and
    partially disable another one.
    * doc/tl/tl.tex: Reflect the change.
    * src/ltltest/reduccmp.test: Likewise.
    * src/ltltest/equals.cc: Add safety checks to catch such errors in the
    * NEWS: Mention the bug.
To find the state of this project's repository at the time of any of these versions, check out the tags.