From b68d9d189c4c3ff12d12b024e836f1aba7397a0c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 14 Jun 2012 14:41:13 +0200
Subject: [PATCH] * NEWS: Summarize recent BDD speedups.

---
 NEWS | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/NEWS b/NEWS
index 3d7e93dd3..b017d86f7 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,12 @@
 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:
     - The CGI script running for ltl2tgba.html will correctly timeout
       after 30s when Spot's translation takes more time.