+ - Add support for MPI_Irsend, MPI_Rsend, MPI_Rsend_init
+ - SMPI can now be selected by cmake's find_module(MPI) with
+ MPI_C_COMPILER, MPI_CXX_COMPILER, MPI_Fortran_COMPILER variables.
+
+Model-Checker:
+ - Option model-checker/hash was removed. This is always activated now.
+
+XBT:
+ - xbt_mutex_t and xbt_cond_t are now marked as deprecated, a new C interface
+ on S4U is already available to replace them by sg_mutex_t and sg_cond_t.
+
+Bugs:
+ - FG#28: add sg_actor_self (and other wrappers on this_actor methods)
+ - FG#29 and FG#33: provide a new C API to mutexes and condition variables
+ - FG#30: convert MSG_process_{un}ref to sg_actor_{un}ref
+ - FG#34: SG_BARRIER_SERIAL_THREAD?
+ - FG#35: model-checker does not like buster-produced binaries