Skip to content
Find file Blame History Permalink
  • 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.