• 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.
NEWS 184 KB