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

diff --git a/NEWS b/NEWS
index 48ae502250..1882ab5bf3 100644
--- a/NEWS
+++ b/NEWS
@@ -1,20 +1,28 @@
+                    _               _____  _ _
+__   _____ _ __ ___(_) ___  _ __   |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_|
+
+(to complete)
                     _               _____  _  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |_| |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|\___/
+                Nov 17 2013
 
-The "to be named" release. Major changes:
+The Clean Diaper Release, a.k.a. SimGrid is leak-free. Major changes:
 
  * Preliminary DVFS support to track the energy consumption
  * 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.
+ * Lots of memory leaks were corrected in this release.
+ * Verification and model checking further improved:
+   liveness+SMPI works; reduction through state equality detection
  Plus the usual load of bug fixes and small improvements
- 
+
                     _               _____ ___
 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |