-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc: Add four rules. * doc/tl/tl.tex: Document these rules. * src/ltltest/reduccmp.test: Add tests.
b03935a4
* src/ltlvisit/simplify.cc: Add four rules. * doc/tl/tl.tex: Document these rules. * src/ltltest/reduccmp.test: Add tests.