X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9dbeb2372ad9a123d0558132ebb6e003e10aa641..ee841c4d0c10c563c3c34a24b615e9052d98fbb2:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index eb433d74ae..1589b2bdb0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+New function: simcall_process_get_kill_time()
+
+ surf.java:
+ * class NetworkLink renamed to Link
+
 SimGrid (3.12) NOT RELEASED; urgency=low
 
  cMSG:
@@ -91,6 +96,7 @@ SimGrid (3.12) NOT RELEASED; urgency=low
    - Add a xbt wrapper for simcall_mutex_trylock (asked in [#17878])
    - Add two new log appenders : rollfile and splitfile. Patch by Fabien Chaix.
  Build System
+  * Require g++ v4.7 at least to not speak prehistorical C++.
   * Tracing is now always enabled (no way to turn it out)
   * Move headers around to sort them out on installed systems:
     - instr/instr.h  -> simgrid/instr.h
@@ -100,6 +106,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