From e9ffa21b976c3b7882fa80de9294c0984fa65e2f Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 30 Sep 2013 17:45:59 +0200
Subject: [PATCH 1/1] model-checker : update NEWS file

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

diff --git a/NEWS b/NEWS
index 572c9baaee..48ae502250 100644
--- a/NEWS
+++ b/NEWS
@@ -10,6 +10,9 @@ The "to be named" release. Major changes:
  * Java is back in the main package (and is very stable).
  * The storage sub-modules is now believed to be usable.
  * SMPI is now very stable (we pass most MPICH tests).
+ * Model-Checking : 
+    - Verifcation of liveness properties is now available for SMPI applications 
+    - New reduction of the state space based on the storage of visited states.
  Plus the usual load of bug fixes and small improvements
  
                     _               _____ ___
-- 
2.20.1