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.