-
Alexandre GBAGUIDI AISSE authored
* NEWS: Update. * spot/twaalgos/totgba.hh: Declare dnf_to_streett(). * spot/twaalgos/totgba.cc: Implement dnf_to_streett(). * bin/autfilt.cc: Add --dnf-to-streett cmd line option. * tests/core/dnfstreett.test: Add test. * tests/Makefile.am: Add test file.
50e99cdc
To find the state of this project's repository at the time of any of these versions, check out the tags.