• Alexandre Duret-Lutz's avatar
    postproc: add support for colored-parity · bd6dc7a8
    Alexandre Duret-Lutz authored
    * spot/twaalgos/postproc.cc, spot/twaalgos/postproc.hh: Add support
    for a colored option.
    * bin/common_post.cc, bin/common_post.hh bin/autfilt.cc,
    bin/ltl2tgba.cc, bin/dstar2tgba.cc: Add support for --colored-parity.
    * bin/ltldo.cc: Adjust as well for consistency, even if --parity and
    --colored-parity is not used here.
    * tests/core/parity2.test: Add tests.
    * doc/org/autfilt.org, doc/org/ltl2tgba.org: Add examples.
    * NEWS: Mention --colored-parity.
    bd6dc7a8
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 184 KB