X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f9521627fe1cef73bb8eccd5b11735dcbd906dbd..4c2a286b5ed8a633c044a9609d19b4ed9494377c:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0198945fde..b064546353 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -22,6 +22,9 @@ SMPI:
 
 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