+ _ _____ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) || | |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_|
+
+(to complete)
_ _____ _ ___
__ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | | |
\ V / __/ | \__ \ | (_) | | | | ___) || | |_| |
\_/ \___|_| |___/_|\___/|_| |_| |____(_)_|\___/
+ Nov 17 2013
-The "to be named" release. Major changes:
+The Clean Diaper Release, a.k.a. SimGrid is leak-free. Major changes:
* Preliminary DVFS support to track the energy consumption
* Java is back in the main package (and is very stable).
* The storage sub-modules is now believed to be usable.
* SMPI is now very stable (we pass most MPICH tests).
- * Model-Checking :
- - Verification of liveness properties is now available for SMPI applications
- - New reduction of the state space based on the storage of visited states.
+ * Lots of memory leaks were corrected in this release.
+ * Verification and model checking further improved:
+ liveness+SMPI works; reduction through state equality detection
Plus the usual load of bug fixes and small improvements
-
+
_ _____ ___
__ _____ _ __ ___(_) ___ _ __ |___ // _ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ (_) |
