diff --git a/NEWS b/NEWS index 29f70cd4c..01156dcf2 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.10.2.dev (not yet released) +New in spot 2.10.3.dev (not yet released) Library: @@ -22,23 +22,33 @@ New in spot 2.10.2.dev (not yet released) property of Spot to the controllable-AP header for the Extended HOA format used in SyntComp. https://arxiv.org/abs/1912.05793 +New in spot 2.10.3 (2022-01-15) + Bugs fixed: - On automata where the absence of color is not rejecting (e.g. co-Büchi) and where the initial state was in a rejecting - SCC, sbacc() could output a superflous state. (Issue #492) + SCC, sbacc() could output a superfluous state. (Issue #492) - Compared to 2.9.8, complement() (and many functions using it) was slower and produced larger outputs on some automata with more than 32 states due to an optimization of the determinization being unintentionally disabled. + - The split_2step() function used to create a synthesis game could + complain that it was unable to complement a monitor (Issue #495). + - Work around GraphViz bug #2179 by avoiding unnecessary empty lines in the acceptance conditions shown in dot. - Fix a case where generic_accepting_run() incorrectly returns a cycle around a rejecting self-loop. + - Mealy machines resulting from SAT-based minimization could differ + on architectures with different hash tables implementations. + + - org-mode moved to GNU ELPA (Issue #496). + New in spot 2.10.2 (2021-12-03) Bugs fixed: diff --git a/configure.ac b/configure.ac index 75fac2b26..73823354d 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ # -*- coding: utf-8 -*- -# Copyright (C) 2008-2021, Laboratoire de Recherche et Développement +# Copyright (C) 2008-2022, Laboratoire de Recherche et Développement # de l'Epita (LRDE). # Copyright (C) 2003-2007 Laboratoire d'Informatique de Paris 6 # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.69]) -AC_INIT([spot], [2.10.2.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.10.3.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 a1a8493a2..6333e2379 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.10.2 -#+MACRO: LASTRELEASE 2.10.2 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.2.tar.gz][=spot-2.10.2.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-2/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2021-12-03 +#+MACRO: SPOTVERSION 2.10.3 +#+MACRO: LASTRELEASE 2.10.3 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.3.tar.gz][=spot-2.10.3.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-3/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2022-01-15 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]