-
Alexandre Duret-Lutz authored
* spot/tl/simplify.cc: Implement the rules. * tests/core/reduccmp.test: Test them. * doc/tl/tl.tex: Document them.
e325289a
* spot/tl/simplify.cc: Implement the rules. * tests/core/reduccmp.test: Test them. * doc/tl/tl.tex: Document them.