-SimGrid (3.10) NOT RELEASED; urgency=low
+SimGrid (3.10pre1) unstable; urgency=low
Java:
* Reintegrate Java to the main archive as desynchronizing these
(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
annoying when scripting around the simulator. Adding a
--cfg=clean_atexit:yes allows to circumvent this issue.
--- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+-- Mon Oct 7 2013 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
SimGrid (3.9) stable; urgency=low