• Alexandre Duret-Lutz's avatar
    remove_fin: use simplify_acceptance · a924bc56
    Alexandre Duret-Lutz authored
    * spot/twaalgos/remfin.cc: Simplify acceptance before trying the
    different strategies.
    * spot/twaalgos/cleanacc.cc: Skip simplify_complementary_marks_here()
    on generalized Büchi.
    * tests/core/remfin.test, tests/python/tra2tba.py: Adjust.
    * spot/twaalgos/totgba.cc: Simplify the result of Streett->GBA.
    * NEWS: Adjust.
    a924bc56
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 184 KB