• Alexandre Duret-Lutz's avatar
    autfilt: introduce --acceptance-is · 62302b60
    Alexandre Duret-Lutz authored
    Fixes #288.
    
    * bin/autfilt.cc: Implement it.
    * spot/twa/acc.cc, spot/twa/acc.hh: Add
    acc_cond::is_generalized_streett, acc_cond::operator==, and
    acc_cond::operator!=.
    * tests/core/randaut.test: Add some tests.
    * NEWS: Mention it.
    62302b60
To find the state of this project's repository at the time of any of these versions, check out the tags.