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

* NEWS: Mention that Safra is faster.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-06-14 16:56:29 +02:00
parent 334366a78c
commit 09864a9d3c
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -7,6 +7,9 @@ New in spot 0.9.1a:
- A new BDD operation, called bdd_implies() has been added to - A new BDD operation, called bdd_implies() has been added to
BuDDy to check wether one BDD implies another. This benefits BuDDy to check wether one BDD implies another. This benefits
mostly the simulation and degeneralization algorithms of Spot. mostly the simulation and degeneralization algorithms of Spot.
- A new offline implementation of the degeneralization (which
had always been performed on-the-fly so far) available. This
especially helps the Safra complementation.
* Bug fixes: * Bug fixes:
- The CGI script running for ltl2tgba.html will correctly timeout - The CGI script running for ltl2tgba.html will correctly timeout
after 30s when Spot's translation takes more time. after 30s when Spot's translation takes more time.