From 51bf0b18e3ed21c2eb9dc5632c6489198e089596 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Feb 2011 14:26:02 +0100 Subject: [PATCH] Release Spot 0.7.1. * NEWS: Update for 0.7.1. * configure.ac: Bump version to 0.7.1. --- ChangeLog | 7 +++++++ NEWS | 19 +++++++++++++++++-- configure.ac | 2 +- 3 files changed, 25 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6c8e5f307..484fc6887 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2011-02-07 Alexandre Duret-Lutz + + Release Spot 0.7.1. + + * NEWS: Update for 0.7.1. + * configure.ac: Bump version to 0.7.1. + 2011-02-07 Alexandre Duret-Lutz Generalize patch from 2011-02-03 by allowing guards like "! (...)". diff --git a/NEWS b/NEWS index 6f27898f4..541abda9e 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,21 @@ -New in spot 0.7a: +New in spot 0.7.1 (2001-02-07): - Nothing yet. + * The LTL parser will accept operator ~ (for not) as well + as --> and <--> (for implication and equivalence), allowing + formulae from the Büchi Store to be read directly. + * The neverclaim parser will accept guards of the form + :: !(...) -> goto ... + instead of the more commonly used + :: (!(...)) -> goto + This makes it possible to read neverclaims provided by the Büchi Store. + * A new ltl2tgba option, -kt, will count the number of "sub-transitions". + I.e., a transition labelled by "true" count for 4 "sub-transitions" + if the automaton uses 2 atomic propositions. + * Bugs fixed: + - Fix segfault during WDBA minimization on automata with useless states. + - Use the included BuDDy library if the one alrady installed + is older than the one distributed with Spot 0.7. + - Fix two typos in the code of the CGI scripts. New in spot 0.7 (2011-02-01): diff --git a/configure.ac b/configure.ac index 399f41a6f..918014005 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.7a], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.7.1], [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])