git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8858
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
-SimGrid (3.5) unstable; urgency=low
+SimGrid (3.6) unstable; urgency=low
+
+ -- Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+
+SimGrid (3.5) stable; urgency=medium
Model Checking
* New feature to any SimGrid-based simulator: Model-Checking
Model Checking
* New feature to any SimGrid-based simulator: Model-Checking
* The effect of gras_stub_generator can be achieved through
lua too (check examples/gras/console/ping_generator.lua)
* The effect of gras_stub_generator can be achieved through
lua too (check examples/gras/console/ping_generator.lua)
- -- Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Wed, 01 Dec 2010 22:09:23 +0100 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
SimGrid (3.4.1) stable; urgency=low
SimGrid (3.4.1) stable; urgency=low
\_/ \___|_| |___/_|\___/|_| |_| |____(_)____/
The "Winter in Frejus" release. Also known as "ANR/ADT funding helps"
\_/ \___|_| |___/_|\___/|_| |_| |____(_)____/
The "Winter in Frejus" release. Also known as "ANR/ADT funding helps"
* New feature: Model check any simgrid simulation
* SMPI: now considered stable
* New feature: Model check any simgrid simulation
* SMPI: now considered stable