diff --git a/NEWS b/NEWS index 8c394672b..ac27578cd 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.9.7.dev (not yet released) +New in spot 2.9.8.dev (not yet released) Build: @@ -252,10 +252,6 @@ New in spot 2.9.7.dev (not yet released) - tgba_determinize() could create parity automata using more colors than necessary. (Related to issue #298) - - 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. - Deprecation notices: - twa_graph::defrag_states() and digraph::defrag_states() now take @@ -263,6 +259,25 @@ New in spot 2.9.7.dev (not yet released) old prototype is still supported but will emit a deprecation warning. +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. + + New in spot 2.9.7 (2021-05-12) Bugs fixed: diff --git a/configure.ac b/configure.ac index 25edd0310..785b0c1f6 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.69]) -AC_INIT([spot], [2.9.7.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.9.8.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 809788d25..d5c0a0bcd 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.7 -#+MACRO: LASTRELEASE 2.9.7 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.7.tar.gz][=spot-2.9.7.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-7/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2021-05-12 +#+MACRO: SPOTVERSION 2.9.8 +#+MACRO: LASTRELEASE 2.9.8 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.8.tar.gz][=spot-2.9.8.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-8/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2021-08-10 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]