simplify and improve the way asynchronous send and receive are handled

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 9934ad9..4169d6e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,10 @@
+                    _               _____  _ _
+__   _____ _ __ ___(_) ___  _ __   |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_|
+
+(to complete)
                     _               _____  _  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
@@ -6,10 +13,14 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
 
 The "to be named" release. Major changes:
 
- * Java is back in the main package (and is stable).
- * The storage sub-modules is believed to be usable.
- * SMPI is now rock stable (we pass all MPICH tests)
- 
+ * 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).
+ * Verification and model checking further improved:
+   liveness+SMPI works; reduction through state equality detection
+ Plus the usual load of bug fixes and small improvements
+
                     _               _____ ___
 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
@@ -135,7 +146,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