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

diff --git a/ChangeLog b/ChangeLog
index 4614f28ffa..b064546353 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -22,6 +22,7 @@ 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.