We are happy to announce the release of Spot 2.9.6.
This is a maintenance release that fixes various issues, including a
segmentation fault observed on the latest version of Alpine Linux
released last week (however there is no reason why it may not occur
elsewhere).
It contains patches contributed by Florian Renkin, Jerome Dubois,
and myself.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.9.6.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions.
Note that versions from the 2.9.x branch are the last releases using
C++14. We have already switched to C++17 for the development of the
next major release. This release is already compatible with C++17, so
tools using Spot as a library should consider switching to C++17
already.
Please direct any feedback to <spot(a)lrde.epita.fr>.
New in spot 2.9.6 (2021-01-18)
Build:
- Build scripts are now compatible with Autoconf 2.70 (Issue #447)
and require at least Autoconf 2.69 (released in 2012).
- Debian builds use updated standards.
Bugs fixed:
- twa_graph::merge_edges() could fail to merge two transitions if the
destination transition was the first of the automaton. (Issue #441)
- On non-deterministic automata, iterated_simulations() was
performing an (unnecessary) second iteration even when the first
one failed to reduce the automaton. (Issue #442)
- When passed an incomplete automaton as input, tgba_determinize()
would sometimes produce a complete automaton but incorrectly mark
it as incomplete. (Related to issue #298)
- gf_guarantee_to_ba(), used to translate some specific classes of
subformulas, could segfault in some condition (Issue #449).
- Work around some spurious test suite failures.
