From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 16 Jul 2015 11:32:04 +0000 (+0200)
Subject: [mc] SimGrid 3.11 Chanelog/NEWS
X-Git-Tag: v3_12~517
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ce1df4d2ea4594c15ffccdbf227c4e3c2adb1318?hp=5ddf2cd49f4b40093082731c36cacef58193d827

[mc] SimGrid 3.11 Chanelog/NEWS
---

diff --git a/ChangeLog b/ChangeLog
index eb433d74ae..fced57faf1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -100,6 +100,12 @@ SimGrid (3.12) NOT RELEASED; urgency=low
     - msg/datatypes.h was removed
     - msg/msg.h -> simgrid/msg.h
 
+ MC
+  * The model checker now runs as a separate process.
+  * The model checker runs must now be launched with the new simgrid-mc program.
+  * Record/Replay: the MC can display a textual representation of a path in the
+    execution graph. It can then be replayed outside of the model checker.
+
  -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
 
 SimGrid (3.11) stable; urgency=low
diff --git a/NEWS b/NEWS
index 7010f28fc4..adbde2e120 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,10 @@ __   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
 
  * 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.
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |