From c11f15c76c753da159d070ea287de9049461d345 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 15 May 2014 10:51:38 +0200 Subject: [PATCH] Release Spot 1.2.4 * NEWS, configure.ac, doc/org/tools.org: Bump version. --- NEWS | 10 +++++----- configure.ac | 2 +- doc/org/tools.org | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/NEWS b/NEWS index b481495e0..3ede1b904 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,10 @@ -New in spot 1.2.3a (not yet released) +New in spot 1.2.4 (2014-05-15) * New features: - "-B -x degen-lskip" can be used to disable level-skipping in the - degeralization procedure. This is mostly meant for running - experiments. + degeralization procedure called by ltl2tgba and dstar2tgba. + This is mostly meant for running experiments. - "-B -x degen-lcache=N" can be used to experiment with different type of level caching during degeneralization. @@ -53,8 +53,8 @@ New in spot 1.2.3 (2014-02-11) - Fix determinism of the SAT-based minimization encoding. (It would sometimes produce different equivalent automata, because of a different encoding order.) - - A the SAT-based minimization is asked for a 10-state automaton - and return a 6-state automaton, do not ask for a 9-state + - If the SAT-based minimization is asked for a 10-state automaton + and returns a 6-state automaton, do not ask for a 9-state automaton in the next iteration... - Fix some compilation issue with the version of Apple's Clang that is installed with MacOS X 10.9. diff --git a/configure.ac b/configure.ac index e0ec68fc3..86a43c6d8 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.2.3a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.2.4], [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/tools.org b/doc/org/tools.org index beccf501f..24c937364 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,4 +1,4 @@ -#+TITLE: Command-line tools installed by Spot 1.2.3 +#+TITLE: Command-line tools installed by Spot 1.2.4 #+EMAIL spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t