From ce1df4d2ea4594c15ffccdbf227c4e3c2adb1318 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 16 Jul 2015 13:32:04 +0200 Subject: [PATCH] [mc] SimGrid 3.11 Chanelog/NEWS --- ChangeLog | 6 ++++++ NEWS | 4 ++++ 2 files changed, 10 insertions(+) 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 (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. _ _____ _ _ __ _____ _ __ ___(_) ___ _ __ |___ / / / | \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | -- 2.20.1