X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/44aa03ffeb7e777d6c6a7d77fee47657fa22a5b9..5070b8115b200706bfce1b8b46884496d4402c6b:/NEWS

diff --git a/NEWS b/NEWS
index 293db990cc..fbad645fad 100644
--- a/NEWS
+++ b/NEWS
@@ -10,8 +10,10 @@ 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).
+ * Verification and model checking further improved:
+   liveness+SMPI works; reduction through state equality detection
  Plus the usual load of bug fixes and small improvements
- 
+
                     _               _____ ___
 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
@@ -137,7 +139,7 @@ The "Winter in Frejus" release. Also known as "ANR/ADT funding helps"
 Major changes are:
 
  * New feature: Model check any simgrid simulation
- * SMPI: now considered stable
+ * SMPI is now very usable.
  * Visualization:
     - now covers the whole framework
     - major usability improvements