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

Release Spot 0.8.2.

Browse source 
* configure.ac, NEWS: Bump version to 0.8.2.
This commit is contained in:
Alexandre Duret-Lutz 2012-01-19 19:22:45 +01:00
parent 15c2a9473e
commit b01ce51e65
3 changed files with 11 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,3 +1,9 @@
2012-01-19 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Release Spot 0.8.2.
* configure.ac, NEWS: Bump version to 0.8.2.
2012-01-18 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2012-01-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Small speedup in safra_tree::compare(). Small speedup in safra_tree::compare().

8
NEWS
View file

@ -1,16 +1,16 @@
New in spot 0.8.1a: New in spot 0.8.2:
* configure now has a --disable-python option to disable * configure now has a --disable-python option to disable
the compilation of Python bindings. the compilation of Python bindings.
* Minor speedups in the safra complementation. * Minor speedups in the Safra complementation.
* Better memory management for the on-the-fly degeneralization * Better memory management for the on-the-fly degeneralization
algorith. This mostly benefits to the Safra complementation. algorithm. This mostly benefits to the Safra complementation.
* Bug fixes: * Bug fixes:
- spot::ltl::length() forgot to count the '&' and '|' operators - spot::ltl::length() forgot to count the '&' and '|' operators
in an LTL formula. in an LTL formula.
- minimize_wdba() could fail to mark some transiant SCCs as accepting, - minimize_wdba() could fail to mark some transiant SCCs as accepting,
producing an automaton that was not fully minimized. producing an automaton that was not fully minimized.
- minimize_dfa() could produce incorrect automata, but it's not - minimize_dfa() could produce incorrect automata, but it is not
clear whether this could have had an inpact on WDBA minimization clear whether this could have had an inpact on WDBA minimization
(the worse case is that some TGBA would not have been minimized (the worse case is that some TGBA would not have been minimized
when they could). when they could).

2
configure.ac
View file

@ -22,7 +22,7 @@
# 02111-1307, USA. # 02111-1307, USA.
AC_PREREQ([2.61]) AC_PREREQ([2.61])
AC_INIT([spot], [0.8.1a], [spot@lrde.epita.fr]) AC_INIT([spot], [0.8.2], [spot@lrde.epita.fr])
AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_AUX_DIR([tools])
AC_CONFIG_MACRO_DIR([m4]) AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])