From ff57e3ef4cd53e43edce6a2899456f8c3fce00e8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 18 Jul 2015 00:37:45 +0200 Subject: [PATCH] Release Spot 1.99.2 * NEWS, configure.ac, doc/org/setup.org: Bump version number. --- NEWS | 20 ++++++++++---------- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 16 insertions(+), 16 deletions(-) diff --git a/NEWS b/NEWS index a5c9482fa..baed9050d 100644 --- a/NEWS +++ b/NEWS @@ -1,7 +1,7 @@ -New in spot 1.99.1a (not yet released) +New in spot 1.99.2 (2015-07-18) * The scc_info object, used to build a map of SCCs while gathering - additionnal information, has been simplified and speed up. One + additional information, has been simplified and speed up. One test case where ltlcross would take more than 13min (to check the translation of one PSL formula) now takes only 75s. @@ -18,19 +18,19 @@ New in spot 1.99.1a (not yet released) automaton generatated by ltl2dstar (configured with ltl2tgba) for the formula !((GFa -> GFb) & (GFc -> GFd)) - has 4307 states and 14 pairs. The new algorithm can translate it - into a TGBA with 9754 states and 7 acceptance sets, while the - default approch used for converting any acceptance to TGBA would - produce 250967 states and 7 acceptance sets. + has 4307 states and 14 acceptance sets. The new algorithm can + translate it into a TGBA with 9754 states and 7 acceptance sets, + while the default approch used for converting any acceptance + to TGBA would produce 250967 states and 7 acceptance sets. * Bugs fixed: - - p[+][:*2] was not detected as belonging to siPSL + - p[+][:*2] was not detected as belonging to siPSL. - scc_filter() would incorrectly remove Fin marks from rejecting SCCs. - - the libspotltsmin library is installed + - the libspotltsmin library is installed. - ltlcross and ltldo did not properly quote atomic propositions - and temporary file names containing a single-quote - - A missing Python.h is now diagnosed at ./configure time, with + and temporary file names containing a single-quote. + - a missing Python.h is now diagnosed at ./configure time, with the suggestion to either install python3-devel, or run ./configure --disable-python. - Debian packages for libraries have been split from diff --git a/configure.ac b/configure.ac index 324c8bf9a..ff14848a7 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], [1.99.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.2], [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 9c7fdd636..a632533c2 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 1.99.1 -#+MACRO: LASTRELEASE 1.99.1 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.1.tar.gz][=spot-1.99.1.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-1/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2015-06-23 +#+MACRO: SPOTVERSION 1.99.2 +#+MACRO: LASTRELEASE 1.99.2 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.2.tar.gz][=spot-1.99.2.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-2/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2015-07-18