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

* NEWS: Summarize recent BDD speedups.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-06-14 14:41:13 +02:00
parent 3a1a71016d
commit b68d9d189c
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
NEWS
View file

@ -1,5 +1,12 @@
New in spot 0.9.1a: New in spot 0.9.1a:
* Speed improvements:
- The unicity hash table of BuDDy has been separated separated
node table for better cache-friendliness. The resulting speedup
is around 5% on BDD-intensive algorithms.
- A new BDD operation, called bdd_implies() has been added to
BuDDy to check wether one BDD implies another. This benefits
mostly the simulation and degeneralization algorithms of Spot.
* 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.