• Alexandre Duret-Lutz's avatar
    tl: new simplification rules · b726d78c
    Alexandre Duret-Lutz authored
    Related to issue #385.
    
    * doc/tl/tl.tex, NEWS: Document the rules.
    * spot/tl/simplify.cc: Implement the rules.
    * tests/core/reduccmp.test, tests/core/ltl2tgba2.test: Add tests.
    * tests/core/degenscc.test: Adjust.
    b726d78c
degenscc.test 2.69 KB