Commit 51bf0b18 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Release Spot 0.7.1.

* NEWS: Update for 0.7.1.
* configure.ac: Bump version to 0.7.1.
parent 8b06edbc
2011-02-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
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 <adl@lrde.epita.fr>
Generalize patch from 2011-02-03 by allowing guards like "! (...)".
......
New in spot 0.7a:
Nothing yet.
New in spot 0.7.1 (2001-02-07):
* 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):
......
......@@ -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])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment