X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a81f5ae1eef3637df7e71567fd719e4a57bfa46e..09fcfb6e32773cd8be0338af431be7de2bcdff5f:/NEWS

diff --git a/NEWS b/NEWS
index 2c2a4660f2..c658b016a3 100644
--- a/NEWS
+++ b/NEWS
@@ -10,9 +10,8 @@ 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 : 
-    - Verification of liveness properties is now available for SMPI applications 
-    - New reduction of the state space based on the storage of visited states.
+ * Verification and model checking further improved: 
+   liveness+SMPI works; reduction through state equality detection
  Plus the usual load of bug fixes and small improvements
  
                     _               _____ ___