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

* NEWS: Mention the last two changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-01-18 17:44:58 +01:00
parent 75032c9fc4
commit a9669d3d17
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2012-01-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Mention the last two changes.
2012-01-18 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2012-01-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Implement a unicity table for states created by tgba_tba_proxy. Implement a unicity table for states created by tgba_tba_proxy.

3
NEWS
View file

@ -2,6 +2,9 @@ New in spot 0.8.1a:
* 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.
* Better memory management for the on-the-fly degeneralization
algorith. 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.