-
Alexandre GBAGUIDI AISSE authored
* NEWS: Update. * spot/tl/hierarchy.cc: Replace rabin_to_buchi_maybe() with is_buchi_realizable(). * spot/twaalgos/remfin.cc: Implement it. * spot/twaalgos/remfin.hh: Declare it.
ebe3a15d
To find the state of this project's repository at the time of any of these versions, check out the tags.