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

diff --git a/NEWS b/NEWS
index 15a56658e6..adbde2e120 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,17 @@
+                    _               _____  _ ____
+__   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | __) |
+ \ 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.
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |