-
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