-
Alexandre Duret-Lutz authored
* bin/autfilt.cc: Add the option. * NEWS: Mention it. * tests/core/acc_word.test: Test it. * spot/twaalgos/emptiness.cc, spot/twaalgos/emptiness.hh (twa_run::project): New method.
b13caea3
To find the state of this project's repository at the time of any of these versions, check out the tags.