Spot 2.5.1 has been released. This maintenance release fixes some serious bugs that have been found in Spot 2.5, see below for a list. The fixes were contributed by Maximilien Colange and myself. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.5.1.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot@lrde.epita.fr>. You may also report bugs directly on https://gitlab.lrde.epita.fr/spot/spot/issues New in spot 2.5.1 (2018-02-20) Library: - iar() and iar_maybe() now also handle Streett-like conditions. Bugs fixed: - iar() and iar_maybe() properly handle Rabin-like conditions. - streett_to_generalized_buchi() could produce incorrect result on Streett-like input with acceptance like (Inf(0)|Fin(1))&Fin(1) where some Fin(x) is used both with and without a paired Fin(y). - is_generalized_rabin() had a typo that caused some non-simplified acceptance conditions like Fin(0)|(Fin(0)&Inf(1)) to be incorrectly detecteded as generalized-Rabin 2 0 1 and then output as Fin(0)|(Fin(1)&Inf(2)) instead. Likewise for is_generalized_streett - the conversion from Rabin to Büchi was broken on Rabin-like acceptance condition where one pair used Fin(x) and another pair used Inf(x) with the same x. Unfortunately, this situation could also occur as a side effect of simplifying the acceptance condition (by merging identical set) of some automaton prior to converting it to Büchi. - dnf_to_dca() was mishandling some Rabin-like input. -- Alexandre Duret-Lutz