We are happy to announce the release of Spot 2.9.5

This is maintenance release with fixes for minor issues discovered over the last two months. If you already use 2.9.3 or later, there is no serious reason to upgrade.

The release contains contributions from Jérôme Dubois and myself.

You can find the new release here:

http://www.lrde.epita.fr/dload/spot/spot-2.9.5.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@lrde.epita.fr.

New in spot 2.9.5 (2020-11-19)

Bugs fixed:

- Fix multiple spurious test suite failures on Darwin (Issues #426, #427, #428, #429) or when the Pandas package was not installed.

- The filename python/spot/aux.py caused a problem on Windows and has been renamed. Existing "import spot.aux" statements should *not* be updated. (Issue #437)

- Fix memory leak in minimize_wdba() when determinization is aborted because an output_aborter is passed.

- Distribution used to contain unnecessary large SVG files (Issue #422)