Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    translate, postproc: improve parity output · 344e01d4
    Alexandre Duret-Lutz authored 
    * spot/twaalgos/translate.cc: When producing Parity output, split LTL
as we do in the Generic case.
* spot/twaalgos/postproc.hh, spot/twaalgos/postproc.cc: Use
acd_transform() and add an "acd" option to disable this.
* bin/spot-x.cc, NEWS: Document this.
* tests/core/genltl.test, tests/core/minusx.test,
tests/core/parity2.test: Adjust test cases for improved outputs.
    344e01d4
To find the state of this project's repository at the time of any of these versions, check out the tags.