MC: switch to xxhash as a (fast) hashing function.

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0dbb14e..ac3848d 100644 (file)
--- 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.