We are happy to announce the release of Spot 2.7.4 This maintenance release contains only some bug fixes. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.7.4.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.7.4 (2019-04-27) Bugs fixed: - separate_sets_here() (and therefore autfilt --separate-sets) could loop infinitely on some inputs. - In some situation, ltl2tgba -G could abort with "direct_simulation() requires separate Inf and Fin sets". This was fixed by teaching simulation-based reductions how to deal with such cases. - The code for detecting syntactically stutter-invariant PSL formulas was incorrectly handling the ";" operator, causing some stutter-sensitive formulas to be flagged a stutter-invariant. -- Alexandre Duret-Lutz