From 1782af3924d4666bc229e1716f4eee99f6bab77f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 19 Nov 2021 09:46:12 +0100 Subject: [PATCH] Release Spot 2.10.1 * NEWS, configure.ac, doc/org/setup.org: Update for release. --- NEWS | 45 +++++++++++++++++++++++++++++++++++++++++++-- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 49 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index f9c65be17..da72e5af4 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,47 @@ -New in spot 2.10.0.dev (not released yet) +New in spot 2.10.1 (2021-11-19) - - Python 3.5 is now required. + Build: + + - Python 3.5 or later is now required (unless Python bindings are + disabled). Python 3.5 reached end-of-life one year ago, so we + believe support for older versions of Python will not be missed. + + Library: + + - The sbacc() function now defines the "original-states" property, + allowing to map an output state back to its input. + + Bugs fixed: + + - Ranged repetition operators from LTL/PSL, like [*a..b], + [->a..b] or even F[a..b] used to store and handle a and b + as 8-bit values without overflow checks. So for instance + {a[*260];b} was silently interpreted as {a[*4];b} + This version still restricts those bounds to 8 bits, but now + diagnose overflow checks while parsing and constructing formulas. + Also the so called "trivial simplification rules" will not be + applied in case they would lead to an overflow. For instance + {a;[*150];[*50];b} is rewritten to {a;[*200];b} + but + {a;[*150];[*150];b} is untouched. + + - Fix a compilation error on system with glibc older than 2.18, + where does not define some C99 macro by default when + compiled in C++ mode. (Such old libraries are used when compiling + packages for conda-forge, which use CentOS 6 as building environment.) + + - Fix a link error of tests/ltsmin/modelcheck not finding BDD functions + on some systems (observed on CentOS 6 again). + + - Fix spurious test-suite failures under newer Jupyter + installations. IPykernel 6.0 now captures stdout/stderr from + subprocesses and displays them in the notebook. The spot.ltsmin + code that loads modules compiled with SpinS had to be rewritten to + capture and display the output of SpinS, so that our test-cases + can be reproduced regardless of the IPykernel version. This fix + was easier to do in Python 3.5. + + - Fix sevaral minor documentation errors. New in spot 2.10 (2021-11-13) diff --git a/configure.ac b/configure.ac index f385fbe85..2aff823a0 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.10.0.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.10.1], [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 ef5d40149..34019d315 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 -#+MACRO: LASTRELEASE 2.10 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.tar.gz][=spot-2.10.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2021-11-13 +#+MACRO: SPOTVERSION 2.10.1 +#+MACRO: LASTRELEASE 2.10.1 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.1.tar.gz][=spot-2.10.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2021-11-19 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]