* 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).
+ * Verification and model checking further improved:
+ liveness+SMPI works; reduction through state equality detection
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