Skip to content
Find file Blame History Permalink
  • 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.