Skip to content
Find file Blame History Permalink
  • Maximilien Colange's avatar
    Improve IAR construction · 1ebd86de
    Maximilien Colange authored 
    spot::iar() was fixed to handle correctly Rabin-like conditions.
It also now supports Streett-like conditions.

* NEWS, spot/twaalgos/postproc.cc: document it
* spot/twaalgos/rabin2parity.cc, spot/twaalgos/rabin2parity.hh:
  implement it
* tests/core/rabin2parity.test, tests/python/except.py: test it
    1ebd86de
To find the state of this project's repository at the time of any of these versions, check out the tags.