diff --git a/NEWS b/NEWS index 57e3752ad..d2547dd2e 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.9.5.dev (not yet released) +New in spot 2.9.6.dev (not yet released) Build: @@ -180,6 +180,20 @@ New in spot 2.9.5.dev (not yet released) Bugs fixed: + - tgba_determinize() could create parity automata using more colors + than necessary. (Related to issue #298) + +New in spot 2.9.6 (2021-01-18) + + Build: + + - Build scripts are now compatible with Autoconf 2.70 (Issue #447) + and require at least Autoconf 2.69 (released in 2012). + + - Debian builds use updated standards. + + Bugs fixed: + - twa_graph::merge_edges() could fail to merge two transitions if the destination transition was the first of the automaton. (Issue #441) @@ -187,12 +201,14 @@ New in spot 2.9.5.dev (not yet released) performing an (unnecessary) second iteration even when the first one failed to reduce the automaton. (Issue #442) - - tgba_determinize() could create parity automata using more colors - than necessary. - - When passed an incomplete automaton as input, tgba_determinize() would sometimes produce a complete automaton but incorrectly mark - it as incomplete. + it as incomplete. (Related to issue #298) + + - gf_guarantee_to_ba(), used to translate some specific classes of + subformulas, could segfault in some condition (Issue #449). + + - Work around some spurious test suite failures. New in spot 2.9.5 (2020-11-19) diff --git a/configure.ac b/configure.ac index ac3c1277b..0fe2cb7e6 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.5.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.9.6.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 dc082321a..f073eba38 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,10 +1,10 @@ #+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.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: 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 2020-11-19 #+ATTR_HTML: :id spotlogo