Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: introduce -x merge-states-min · b3b22388
    Alexandre Duret-Lutz authored
    * spot/twaalgos/postproc.cc, spot/twaalgos/postproc.hh: Introduce a
    merge-states-min option.
    * bin/spot-x.cc: Document it.
    * spot/gen/automata.cc, spot/gen/automata.hh, bin/genaut.cc: Add
    option to generate cyclist test cases.
    * NEWS: Document the above.
    * tests/core/included.test: Add test cases that used to be too slow.
    b3b22388
To find the state of this project's repository at the time of any of these versions, check out the tags.