We are happy to announce the release of Spot 2.5.2 This is a maintenance release containing fixes for some minor issues discovered since 2.5.1. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.5.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please send any feedback to <spot@lrde.epita.fr>. New in spot 2.5.2 (2018-03-25) Bugs fixed: - acc_cond::is_generalized_rabin() and acc_cond::is_generalized_streett() would segfault on weird acceptance conditions such as "3 t" or "3 f". - remove_fin() and streett_to_generalized_buchi() should never return automata with "f" acceptance. - "autfilt --acceptance-is=Fin-less" no longer accept automata with "f" acceptance. - twa_run methods will now diagnose cases where the cycle is unexpectedly empty instead of segfaulting. - spot::closure(), used by default for testing stutter-invariance, was using an optimization incorrect if the acceptance condition had some Fin(x). Consequently stutter-invariance tests for automata, for instance with "autfilt --is-stutter-invariant", could be to be wrong (even if the input does not use Fin(x), its complement, used in the stutter-invariance test likely will). Stutter-invariance checks of LTL formulas are not affected. -- Alexandre Duret-Lutz