alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* NEWS: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-02-07 18:30:21 +01:00
parent 6f43b997de
commit e72f85a327
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2011-02-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Typos.
2011-02-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS, configure.ac: Bump version to 0.7.1a

6
NEWS
View file

@ -10,14 +10,14 @@ New in spot 0.7.1 (2001-02-07):
* The neverclaim parser will accept guards of the form
:: !(...) -> goto ...
instead of the more commonly used
:: (!(...)) -> goto
:: (!(...)) -> 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"
I.e., a transition labelled by "true" counts 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
- Use the included BuDDy library if the one already installed
is older than the one distributed with Spot 0.7.
- Fix two typos in the code of the CGI scripts.