diff --git a/NEWS b/NEWS index ccb7a222f..2db96f234 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.9.6.dev (not yet released) +New in spot 2.9.7.dev (not yet released) Build: @@ -237,12 +237,6 @@ New in spot 2.9.6.dev (not yet released) - tgba_determinize() could create parity automata using more colors than necessary. (Related to issue #298) - - Some formulas using ->, <->, or xor were not properly detected as - purely universal or pure eventualities. - - - autfilt --keep-states=... could incorrectly mention --mask-acc - when diagnosing errors. - Deprecation notices: - twa_graph::defrag_states() and digraph::defrag_states() now take @@ -250,6 +244,21 @@ New in spot 2.9.6.dev (not yet released) old prototype is still supported but will emit a deprecation warning. +New in spot 2.9.7 (2021-05-12) + + Bugs fixed: + + - Some formulas using ->, <->, or xor were not properly detected as + purely universal or pure eventualities. + + - autfilt --keep-states=... could incorrectly mention --mask-acc + when diagnosing errors. + + - Work around GraphViz issue 1931, causing spurious failures in the + test suite. + + - Miscelaneous documentation fixes. + New in spot 2.9.6 (2021-01-18) Build: diff --git a/bin/spot-x.cc b/bin/spot-x.cc index 56175862e..0943f34bd 100644 --- a/bin/spot-x.cc +++ b/bin/spot-x.cc @@ -236,7 +236,7 @@ sets. By default this is only enabled when options -B or -S are used.") }, "Chose which simulation based reduction to use: 1 force the \ signature-based BDD implementation, 2 force matrix-based and 0, the default, \ is a heristic wich choose which implementation to use.") }, - { nullptr, 0, nullptr, 0, nullptr, 0 }, + { nullptr, 0, nullptr, 0, nullptr, 0 } }; const struct argp_child children[] = diff --git a/configure.ac b/configure.ac index 0fe2cb7e6..25edd0310 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.6.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.9.7.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 268704e63..809788d25 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.6 -#+MACRO: LASTRELEASE 2.9.6 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.6.tar.gz][=spot-2.9.6.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-6/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2021-01-18 +#+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 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]