From f08b658f04ca24eadd7ba68c9bc4086c2e390a32 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 3 Nov 2015 13:42:27 +0100 Subject: [PATCH] Release Spot 1.99.5 * NEWS, configure.ac, doc/org/setup.org: Update version. --- NEWS | 12 +++++++++--- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 15 insertions(+), 9 deletions(-) diff --git a/NEWS b/NEWS index 019cac11e..4068322b0 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.99.4a (not yet released) +New in spot 1.99.5 (2015-11-03) Command-line tools: @@ -52,9 +52,9 @@ New in spot 1.99.4a (not yet released) * The output of the automaton parser now include the list of parse errors (that does not have to be passed as a parameters) and the - input filename (making the output of error message easier). + input filename (making the output of error messages easier). - * renamings: + * The following renamings make the code more consistent: ltl_simplifier -> tl_simplifier tgba_statistics::transitions -> twa_statistics::edges tgba_sub_statistics::sub_transitions -> twa_sub_statistics::transitions @@ -92,6 +92,12 @@ New in spot 1.99.4a (not yet released) - ignore_abort: can be set to False if you do not want to skip automata ended with --ABORT--. + Documentation: + + * There is a new page showing how to use spot::postprocessor + to convert any type of automaton to Büchi. + https://spot.lrde.epita.fr/tut30.html + Bugs fixed: * Work around some weird exception raised when using the diff --git a/configure.ac b/configure.ac index c47a0ac86..2d8d34c5b 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.4a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.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 2734500dc..d5a3e59e5 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.4 -#+MACRO: LASTRELEASE 1.99.4 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.4.tar.gz][=spot-1.99.4.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-4/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2015-10-01 +#+MACRO: SPOTVERSION 1.99.5 +#+MACRO: LASTRELEASE 1.99.5 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.5.tar.gz][=spot-1.99.5.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-5/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2015-11-03