X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/724b608b9632663d62a553519ef1a32277ccf3ff..721f772404050467d44326bf520ff0a315bd079e:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0dbb14ed94..ac3848df43 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -35,6 +35,8 @@ SMPI:
    MPI_ERRORS_ARE_FATAL, so codes which were sending warnings may start failing.
 
 Model-Checker:
+ - Bump our requirements to C++14 for the model-checker. This is
+   because of xxHash that we now use as a hash implementation.
  - 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.