X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/08e979acad6f046c9790509eb53b70c87bdc33df..4a4af34fa10d3d571f864d01298cb496b989f501:/NEWS

diff --git a/NEWS b/NEWS
index 9c9508addf..d5075f96eb 100644
--- a/NEWS
+++ b/NEWS
@@ -4,14 +4,29 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || |/ __/
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_____|
 
-(to complete)
-
- * Surf internal cleanup: rename workstation into host.
-   Option "workstation/model" now reads "host/model"
- * The model checker now runs in a separate process.
- * The model checker has support for memory compaction of its snapshots.
- * MC record/replay: a interesting path found by the modelchecker can be
-   replayed outside of the modelchecker.
+The Facelift Release. Major changes:
+
+ * Many interface glitches addressed, everywhere.
+   - Require g++-4.7 and boost 1.48
+   - See ChangeLog for renamed functions and options.
+
+ * Energy plugin: major cleanups/rewrites.
+   http://simgrid.org/tutorials/simgrid-energy-101.pdf
+
+ * Model-Checker progresses toward production use:
+   - More robust (now runs in a separate process).
+   - More efficient (with snapshots' memory compaction).
+   - More usable (execution paths replayed out of MC)
+   http://simgrid.org/tutorials/simgrid-mc-101.pdf
+
+ * SMPI improvements:
+   - Better standard coverage  - SMP-aware collectives
+   - InfiniBand model          - Early support for RMA
+   - Replay: Dynamic selector  - MVAPICH2 selector
+   http://simgrid.org/tutorials/simgrid-smpi-101.pdf
+
+Upcoming v3.13 will introduce new interfaces, toward SimGrid 4.
+
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |