Model-Checker:
- Option model-checker/hash was removed. This is always activated now.
+ - New option smpi/buffering controls the MPI buffering in MC mode.
+ - MPI calls now MC_assert() that no MPI_ERR_* code is returned.
+ This is useful to check for MPI compliance.
XBT:
- xbt_mutex_t and xbt_cond_t are now marked as deprecated, a new C interface