X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2d9f15893f0d30616ba394c85df84509563e950c..80e08b1a5d1247c8f9921f2e8a68ca31ce961e4d:/NEWS

diff --git a/NEWS b/NEWS
index 221a8f814d..2c2a4660f2 100644
--- a/NEWS
+++ b/NEWS
@@ -1,14 +1,32 @@
+                    _               _____  _  ___
+__   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |_| |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|\___/
+
+The "to be named" release. 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 : 
+    - Verification 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
+ 
                     _               _____ ___
 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) \__, |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)/_/
+                Feb 5 2013
 
 The "Grasgory" release. Major changes:
 
  * Gras was completely removed from this version.
  * Documentation reorganization to ease browsing it.
-
+ * New default value for the TCP_gamma parameter: 4MiB
                     _               _____  ___   _
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |
@@ -122,7 +140,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