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@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.