From a3c307e38d933f0f50dd1342667c17575b9a350c Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 30 Sep 2013 21:32:33 +0200 Subject: [PATCH] Cosmetics around spacing. --- ChangeLog | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/ChangeLog b/ChangeLog index 5a9de9e9f1..9f1d4da51c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -41,13 +41,13 @@ SimGrid (3.10) NOT RELEASED; urgency=low (no privatization of global variables yet) Model-Checking; - * Verification of liveness properties is now available - for SMPI applications (in addition to MSG applications) + * Verification of liveness properties is now available for SMPI applications + (in addition to MSG applications) * Bugged examples using SMPI in examples/smpi/mc/ - * Add --cfg=model-check/visited option. Allows the verification of - infinite programs. Detection of loops in the execution thanks to the system - state comparison and reduction of the state space to explore. Can - be combined with DPOR for safety properties. + * Add --cfg=model-check/visited option. Allows the verification of infinite + programs. Detection of loops in the execution thanks to the system state + comparison and reduction of the state space to explore. Can be combined with + DPOR for safety properties. SimDag: * Allow to change SimGrid configuration (see --help) within the code -- 2.20.1