X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1d55cb157717ae84454a568c655e3564ba31f681..38eba4de60344408811b039f5e6d4e03420bccb2:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0c9a927659..2afb0d3da8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-SimGrid (3.10) NOT RELEASED; urgency=low
+SimGrid (3.10pre1) unstable; urgency=low
 
  Java:
  * Reintegrate Java to the main archive as desynchronizing these
@@ -40,6 +40,15 @@ SimGrid (3.10) NOT RELEASED; urgency=low
  * Add all missing Fortran bindings, SMPI should work with Fortran 90
    (no privatization of global variables yet)
 
+ Model-Checking;
+ * 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.
+
  SimDag:
  * Allow to change SimGrid configuration (see --help) within the code
    thanks to SD_config() as it can be done in MSG.
@@ -66,7 +75,7 @@ SimGrid (3.10) NOT RELEASED; urgency=low
    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