We are happy to announce the release of Spot 2.9.8.

This is a maintenance release that fixes a few bugs reported over the last three months, as well as a few warnings.

New since the last version, we are now distributing Spot as a conda package (via conda-forge) for Linux and OSX. Instructions are on https://spot.lrde.epita.fr/install.html

You can download the source for the new release directly from:

http://www.lrde.epita.fr/dload/spot/spot-2.9.8.tar.gz

See https://spot.lrde.epita.fr/ for documentation and installation instructions.

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 those using Spot as a library should consider switching to C++17 already.

Please direct any feedback to spot@lrde.epita.fr.

New in spot 2.9.8 (2021-08-10)

Documentation:

- Mention the conda-forge package.

Bugs fixed:

- left->intersacting_run(right) could return a run with incorrect colors (likely not corresponding to any existing transition of left) if left was a weak automaton. (Issue #471)

- Fix bitset::operator-() causing issues when Spot was configured with more than 32 colors for instance with --enable-max-sets=64. (Issue #469)

- Work around some warnings from newer compilers.