+ * Fix the behavior of complex data types handling
+ * replace MPICH-1 test suite by the one from MPICH 3.0.4. Can be built using
+ enable_smpi_MPICH3_testsuite flag in cmake. Run with ctest.
+ * 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.
+ * Add a new function SD_task_set_amount() upon user request.