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