X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c57842fe897f53b46f0be3da87f7c996674be7d6..04bd690a70b98f7bb0e070751afbefb380d6345c:/NEWS

diff --git a/NEWS b/NEWS
index 99a0696e7d..9c9508addf 100644
--- a/NEWS
+++ b/NEWS
@@ -6,6 +6,12 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
 
 (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.
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |