X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ddf4a32b4868d8cab7bd22f0b7b34bdd5b7dffad..54e35ebda7e4ffacd769653b8ebb8ba93c7298bf:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 310c4af495..f1aee905a7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+ surf.java:
+ * class NetworkLink renamed to Link
+
 SimGrid (3.12) NOT RELEASED; urgency=low
 
  cMSG:
@@ -82,6 +85,9 @@ SimGrid (3.12) NOT RELEASED; urgency=low
     - New property: watt_off to denote the disipation when the host is off
     - New functions getWattMinAt and getWattMaxAt to retrieve the
       dissipation of pstates that we are not currently at.
+  * Massive rename s/workstation/host/
+    - That's intrusive, but that's good for the project consistency. Sorry. 
+    - Change config option "workstation/model" into "host/model"
  XBT
   * New functions
    - Add a xbt_heap_update function, to avoid costly xbt_heap_remove+xbt_heap_insert use 
@@ -97,6 +103,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