• Thomas Medioni's avatar
    streett_to_generalized_buchi() now works on Streett-like · 7b5b8f34
    Thomas Medioni authored
    * NEWS: Mention the modification.
    * spot/twaalgos/remfin.cc: Adapt to avoid infinite recursion.
    * spot/twaalgos/totgba.cc: Work on Streett-like.
    * tests/Makefile.am, tests/python/streett_totgba.py: Tests the
      modification.
    * tests/core/remfin.test: Fix one test case that is now handled by
      the modification.
    7b5b8f34
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 163 KB