alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Merge branch 'master' into next

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-11-19 10:47:02 +01:00
commit d7871e549e
3 changed files with 19 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

15
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.9.4.dev (not yet released)
New in spot 2.9.5.dev (not yet released)
Build:
@ -147,11 +147,22 @@ New in spot 2.9.4.dev (not yet released)
- Bindings for functions related to parity games.
See https://spot.lrde.epita.fr/ipynb/paritygame.html for examples.
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.)
*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)
New in spot 2.9.4 (2020-09-07)