From 6b7f0399f43e23a18eec773fade496ec0bc24bb7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 18 Feb 2016 14:28:06 +0100 Subject: [PATCH] Release Spot 1.99.8 * NEWS, configure.ac, doc/org/setup.org: Update version number. --- NEWS | 8 ++++---- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/NEWS b/NEWS index 340b50566..a4aaf06da 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,7 @@ -New in spot 1.99.7a (not yet released) +New in spot 1.99.8 (2016-02-18) Command-line tools: - * ltl2tgba and ltldo now support %< and %> in the string passed - to --stats when reading formulas from a CSV file. - * ltl2tgba now also support the --generic option (already supported by ltldo and autfilt) to lift any restriction on the acceptance condition produced. This option now has a short version: -G. @@ -50,6 +47,9 @@ New in spot 1.99.7a (not yet released) --product=0 is implied, since the tests based on products with random state-space are pointless for deterministic automata. + * ltl2tgba and ltldo now support %< and %> in the string passed + to --stats when reading formulas from a CSV file. + * ltlfilt's option --size-min=N, --size-max=N, --bsize-min=N, and --bsize-max=N have been reimplemented as --size=RANGE and --bsize=RANGE. The old names are still supported for backward diff --git a/configure.ac b/configure.ac index d6677c7d9..72e451161 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.7a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.8], [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 680c9bf2b..ebbafbbe0 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 1.99.7 -#+MACRO: LASTRELEASE 1.99.7 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.7.tar.gz][=spot-1.99.7.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-7/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2016-01-15 +#+MACRO: SPOTVERSION 1.99.8 +#+MACRO: LASTRELEASE 1.99.8 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.8.tar.gz][=spot-1.99.8.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-8/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2016-02-18