We are happy to announce the release of Spot 2.14.5 This is a maintenance realease that fixes a few bugs discovered in the path month. You can find the new release here: http://www.lre.epita.fr/dload/spot/spot-2.14.5.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>, or create issues on https://gitlab.lre.epita.fr/spot/spot/-/issues/new New in spot 2.14.5 (2025-12-11) Bug fixes: - The code of acc_code::inf_satisfiable was changed to properly match its documentation. This function was not used and not tested so far, but it has become needed for the next bug fix. - The restrict_dead_end_edges_here() function introduced in Spot 2.13 could produce non-equivalent automata when the acceptance condition involved Fin(x) terms. (Issue #628). - BuDDy's bdd_free_path(), used in some iterations using paths_of(...) and variants, was behaving incorrectly when the iteration was aborted. - Because of an optimization introduced in Spot 2.11 to improve the parsing of large disjunctions or conjunctions, the LTL parser could instantiate Boolean subformulas in different order depending on the architecture's calling convention. This could cause different ordering of operands when printing formulas, causing spurious failures in the test suite (e.g. if a test case expects "α & β" as a result, but gets "β & α" instead).