From ab734825814f3276c3a3afda35cda9e5417d2f41 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 1 Feb 2011 15:01:43 +0100 Subject: [PATCH] Release Spot 0.7. * NEWS, configure.ac: Bump version to 0.7. --- ChangeLog | 6 ++++++ NEWS | 4 ++-- configure.ac | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index e277519ee..1edb98779 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2011-02-01 Alexandre Duret-Lutz + + Release Spot 0.7. + + * NEWS, configure.ac: Bump version to 0.7. + 2011-02-01 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.test: Fix previous test case. diff --git a/NEWS b/NEWS index 657ddf6a4..dbfac2bad 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 0.6a: +New in spot 0.7 (2011-02-01): * Spot is now able to read an automaton expressed as a Spin neverclaim. * The "experimental" Kripke structure introduced in Spot 0.5 has @@ -51,7 +51,7 @@ New in spot 0.6a: - The formula simplification based on universality and eventuality had a quadratic run-time. -New in spot 0.6 (16-04-2010): +New in spot 0.6 (2010-04-16): * Several optimizations to improve some auxiliary steps of the LTL translation (not the core of the translation): diff --git a/configure.ac b/configure.ac index d8b29c9fb..82ad9e422 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.6a], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.7], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnits nostdinc tar-ustar color-tests parallel-tests])