diff --git a/NEWS b/NEWS index e412cc5d2..9710af2ec 100644 --- a/NEWS +++ b/NEWS @@ -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) diff --git a/configure.ac b/configure.ac index 5822207e7..3ad6f056a 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.63]) -AC_INIT([spot], [2.9.4.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.9.5.dev], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) diff --git a/doc/org/setup.org b/doc/org/setup.org index 8a3339fb2..dc082321a 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,11 +1,11 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.9.4 -#+MACRO: LASTRELEASE 2.9.4 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.4.tar.gz][=spot-2.9.4.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-4/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2020-09-07 +#+MACRO: SPOTVERSION 2.9.5 +#+MACRO: LASTRELEASE 2.9.5 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.5.tar.gz][=spot-2.9.5.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-5/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2020-11-19 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]