From 325d3f921fae206abbdd4d8c481090fbc9a7f673 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 19 Dec 2017 10:12:13 +0100 Subject: [PATCH] Release Spot 2.4.3 * NEWS, configure.ac, doc/org/setup.org: Update. --- NEWS | 11 +++++++++-- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 15 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index dbad3d5a9..a38c353c7 100644 --- a/NEWS +++ b/NEWS @@ -1,12 +1,19 @@ -New in spot 2.4.2.dev (not yet released) +New in spot 2.4.3 (2017-12-19) - Bug fixes: + Bugs fixed: - couvreur99_new() leaked memory when processing TωA that allocate states. - Some mismatched placement-new/delete reported by ASAN were fixed. + - Static compilation was broken on MinGW. + + - Execution of Jupyter notebooks from the testsuite failed with + recent versions of Python. + + - Fix some warnings triggered by the development version of g++. + New in spot 2.4.2 (2017-11-07) Tools: diff --git a/configure.ac b/configure.ac index 420b42df2..e0068f184 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [2.4.2.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.4.3], [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 a59a432b3..96ab4dc45 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.4.2 -#+MACRO: LASTRELEASE 2.4.2 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.4.2.tar.gz][=spot-2.4.2.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-4-2/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2017-11-07 +#+MACRO: SPOTVERSION 2.4.3 +#+MACRO: LASTRELEASE 2.4.3 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.4.3.tar.gz][=spot-2.4.3.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-4-3/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2017-12-19