[mc] SimGrid 3.11 Chanelog/NEWS

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 1f8b413..adbde2e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,22 +1,62 @@
+                    _               _____  _ ____
+__   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | __) |
+ \ 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 mocel 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.
+                    _               _____  _ _
+__   _____ _ __ ___(_) ___  _ __   |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_|
+                May 31 2014
+
+The Class Release. Major changes:
+
+ * Surf is now in C++ (and documented!)
+ * Virtual Machine model for Cloud Simulation
+ * Surf callbacks: plug your code directly in Surf!
+ * Simcalls are script-generated to clean the mess
+
                     _               _____  _  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |_| |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|\___/
+                Nov 17 2013
+
+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).
+ * 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
 
-(to complete)
                     _               _____ ___
 __   _____ _ __ ___(_) ___  _ __   |___ // _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) \__, |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)/_/
-                Jan 29 2013
+                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
+
                     _               _____  ___   _
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |
@@ -28,6 +68,7 @@ The "we are told that some people want to also *install* the simgrid
 framework" release.
 
  * Add missing manpage to the archive.
+
                     _               _____  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \
@@ -45,6 +86,7 @@ Major changes:
  * SMPI now covers more of the MPI interface.
    More datatypes, more functions, more robust.
  * Model-checking: mmalloc is more robust to user errors.
+
                     _               _____ _____ _
 __   _____ _ __ ___(_) ___  _ __   |___ /|___  / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /| |
@@ -56,6 +98,7 @@ The "cleaning the cleanup" release. Major changes:
 
  * Portability fixups for Mac OSX and Windows
  * Some other bug fixing and various polishing.
+
                     _               ____  _____
 __   _____ _ __ ___(_) ___  _ __   |___ /|___  |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /
@@ -71,6 +114,7 @@ Major changes:
  * Parallel execution of user code should be stable and efficient now
  * SMPI is now considered stable
  * Add temporals to Model-Checking (highly experimental right now)
+
                     _               _____  __    ____
 __   _____ _ __ ___(_) ___  _ __   |___ / / /_  |___ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| '_ \   __) |
@@ -130,7 +174,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
@@ -153,6 +197,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ /| || |  / |
 
 The "Polishing easter eggs is probably a good idea" release.
 This is a bug fixes release only.
+
                     _               _____ _  _
 __   _____ _ __ ___(_) ___  _ __   |___ /| || |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| || |_
@@ -209,6 +254,7 @@ Most important changes:
 
 On the way, we gained a bit more than 5% on the classical master/slave
 example. More to come on this in future releases.
+
                     _               _____  _____  _
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \ | |