We are happy to announce the release of Spot 2.14.4
This is a maintenance realease that fixes a few bugs discovered in the
path month. This includes one 11-year old bug in the code that checks
isomorphism between deterministic automata. This could lead to false
positives from `ltlfilt --equivalent-to=...`.
You can find the new release here:
http://www.lre.epita.fr/dload/spot/spot-2.14.4.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.4 (2025-12-17)
Library:
- spot::zielonka_tree was changed to include nodes labeled by {} by
default, otherwise it was hard to distinguish the tree for Inf(0)
(which had an implicit {} node) from the tree for Inf(0)|Fin(0)
(which did not). The old behavior, which is more memory efficient
and still useful in some applications, can be requested by passing
the new option zielonka_tree_options::NO_EMPTY_LAYER.
Additionally, spot::zielonka_tree::empty_layer_is_even() is a new
method that can now be used to distinguish between the above two
trees when the NO_EMPTY_LAYER option is used. (Issue #621.)
Bugs fixed:
- The isomorphism checker for deterministic automata
(spot::are_isomorphic_det) was ignoring colors! (Issue #627.)
- The recent introduction of bdd_mt_quantify_prepare() in BuDDy
caused issues with following calls to operations such as
bdd_restrict(), due to caching issues.
- Multiple typos in --help strings.
- Workarounds for new compiler warnings.
