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(a)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)
--
Alexandre Duret-Lutz
