The "to be named" release. Major changes:
- * Java is back in the main package (and is stable).
- * The storage sub-modules is believed to be usable.
- * SMPI is now rock stable (we pass all MPICH tests)
+ * 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 :
+ - Verifcation of liveness properties is now available for SMPI applications
+ - New reduction of the state space based on the storage of visited states.
+ Plus the usual load of bug fixes and small improvements
_ _____ ___
__ _____ _ __ ___(_) ___ _ __ |___ // _ \
Major changes are:
* New feature: Model check any simgrid simulation
- * SMPI: now considered stable
+ * SMPI is now very usable.
* Visualization:
- now covers the whole framework
- major usability improvements
