We are happy to announce the release of Spot 2.14.3
This is a maintenance realease that fixes minor compatibility issues
and bugs.
You can find the new release here:
http://www.lre.epita.fr/dload/spot/spot-2.14.3.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.3 (2025-11-11)
Bugs fixed:
- Spot's Python bindings used to map spot::parse_error exceptions
into Python's SyntaxError exception. However, recent ipython
versions have a handling of SyntaxError that really assume a
SyntaxError in Python, not an error comming from some third-party
parser reading some third-party format... That spot::parse_error
exceptions are now raised as instances of spot.parse_error.
(Issue #617.)
- Swig 4.4, released recently, contains a proper fix to Issue #603.
However, that new version also requires some update in Spot's
code. While this Spot release preserves compatibility with earlier
Swig versions, it is the first to be compatible with Swig 4.4.
- ltlf2dfa --mtdfa-stats had a bug where if "false" was the only
constant used, it would be reported as "true".
- ltlf_to_mtdfa_compose() would sometimes keep the name of states
even when instructed to discard them.
- Fix several "unnecessary virtual specifiers" reported by newer
versions of Clang.
- Many typos and documentation improvements.
