+New function: simcall_process_get_kill_time()
+
+ surf.java:
+ * class NetworkLink renamed to Link
+
SimGrid (3.12) NOT RELEASED; urgency=low
cMSG:
- 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
- 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