We are happy to announce the release of Spot 2.14.1
This is a minor realease that addresses a few bugs.
You can find the new release here:
http://www.lre.epita.fr/dload/spot/spot-2.14.1.tar.gz
See https://spot.lre.epita.fr/ for documentation and installation
instructions.
Please direct any feedback to <spot(a)lrde.epita.fr>, or create
issues on https://gitlab.lre.epita.fr/spot/spot/-/issues/new
New in spot 2.14.1 (2025-07-21)
Bug fixes:
- print_hoa() will not use state-based output if the input has been
tagged as transition-based (i.e. prop_state_acc() == false). If
only uses state-based output when prop_state_acc() == true, or if
prop_state_acc() == maybe and the automaton is found to be
compatible with a state-based output.
- ltlfsynt's decomposition optimization (which was implemented in
the same way as we did in ltlsynt for LTL) isn't always correct
for LTLf specification. Until we know and implement a better
sufficient condition, this version disables decomposition except
for X-free specifications. (Issue #610.)
- Various documentation fixes.
--
Alexandre Duret-Lutz