• Alexandre Duret-Lutz's avatar
    tl: eight new simplification rules · 0d9cc29b
    Alexandre Duret-Lutz authored
    * NEWS, doc/tl/tl.tex: Document the rules.
    * spot/tl/simplify.cc: Implement them.
    * tests/core/reduccmp.test: Test them.
    * tests/core/det.test, tests/core/ltl2tgba2.test,
    tests/python/stutter-inv.ipynb, tests/core/385.test: Adjust.
    0d9cc29b
det.test 5.75 KB