We are happy to announce the release of Spot 2.8.4

This release contains a fix for a bug affecting complementation of Rabin-like automata.

You can find the new release here:

http://www.lrde.epita.fr/dload/spot/spot-2.8.4.tar.gz

See https://spot.lrde.epita.fr/ for documentation and installation instructions.

Please direct any feedback to spot@lrde.epita.fr.

New in spot 2.8.4 (2019-12-08)

Bugs fixed:

- The Rabin-to-Büchi conversion could misbehave when applied to Rabin-like acceptance with where some pairs have missing Inf(.) (e.g. Fin(0)|(Inf(1)&Fin(2))) and when some of the SCCs do not visit the remaining Inf(.). This indirectly caused the complementation algorithm to produce incorrect results on such inputs, causing false positives in ltlcross and autcross.

- Work around a small difference between Python 3.7 and 3.8, causing spurious failures of the test suite.