• Maximilien Colange's avatar
    Rabin to parity translation · 7e02aae3
    Maximilien Colange authored
    * spot/twaalgos/rabin2parity.cc, spot/twaalgos/rabin2parity.hh:
      implement it
    * spot/twaalgos/postproc.cc: use it
    * spot/twaalgos/Makefile.am: build the new files
    * NEWS: document the new function
    * python/spot/impl.i: Python bindings for the new function
    * tests/Makefile.am, tests/core/rabin2parity.test: test the new function
To find the state of this project's repository at the time of any of these versions, check out the tags.