We are happy to announce the release of Spot 2.4.4 This is a maintenance release containing fixes for two serious bugs reported by František Blahoudek. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.4.4.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.4.4 (2017-12-25) Bugs fixed: - The generic to_generalized_buchi() function would fail if the Fin-less & CNF version of the acceptance condition had several unit clauses. - If the automaton passed to sbacc() was incomplete or non-deterministic because of some unreachable states, then it was possible that the output would marked similarly while it was in fact complete or deterministic. Merry Christmas, -- Alexandre Duret-Lutz