From af000edbf929800872a9de8a851139d33feab0d2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 22 Jun 2017 06:58:01 +0200 Subject: [PATCH] Release Spot 2.3.5 * NEWS, configure.ac, doc/org/setup.org: Update version. --- NEWS | 7 +++++-- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 11 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index 21d59a354..277178a3b 100644 --- a/NEWS +++ b/NEWS @@ -1,8 +1,8 @@ -New in spot 2.3.4.dev (not yet released) +New in spot 2.3.5 (2017-06-22) Bugs fixed: - - We have fixed new cases where translating multiple formula in a + - We have fixed new cases where translating multiple formulas in a single ltl2tgba run could produce automata different from those produced by individual runs. @@ -17,6 +17,9 @@ New in spot 2.3.4.dev (not yet released) a number of reachable states/edges/transitions, but %S was incorrectly counting all states even unreachable. + - Our verson of BuDDy had an incorrect optimization for the + biimp operator. + New in spot 2.3.4 (2017-05-11) Bugs fixed: diff --git a/configure.ac b/configure.ac index f4004c6c0..d94d434be 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.3.4.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.3.5], [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 9e28e96ca..d1b1c869d 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.3.4 -#+MACRO: LASTRELEASE 2.3.4 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.3.4.tar.gz][=spot-2.3.4.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-3-4/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2017-05-11 +#+MACRO: SPOTVERSION 2.3.5 +#+MACRO: LASTRELEASE 2.3.5 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.3.5.tar.gz][=spot-2.3.5.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-3-5/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2017-06-22