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

Release Spot 1.99.5

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Update version.
This commit is contained in:
Alexandre Duret-Lutz 2015-11-03 13:42:27 +01:00
parent a28ead2dce
commit f08b658f04
3 changed files with 15 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
NEWS
View file

@ -1,4 +1,4 @@
New in spot 1.99.4a (not yet released)
New in spot 1.99.5 (2015-11-03)
Command-line tools:
@ -52,9 +52,9 @@ New in spot 1.99.4a (not yet released)
* The output of the automaton parser now include the list of parse
errors (that does not have to be passed as a parameters) and the
input filename (making the output of error message easier).
input filename (making the output of error messages easier).
* renamings:
* The following renamings make the code more consistent:
ltl_simplifier -> tl_simplifier
tgba_statistics::transitions -> twa_statistics::edges
tgba_sub_statistics::sub_transitions -> twa_sub_statistics::transitions
@ -92,6 +92,12 @@ New in spot 1.99.4a (not yet released)
- ignore_abort: can be set to False if you do not want to
skip automata ended with --ABORT--.
Documentation:
* There is a new page showing how to use spot::postprocessor
to convert any type of automaton to Büchi.
https://spot.lrde.epita.fr/tut30.html
Bugs fixed:
* Work around some weird exception raised when using the