X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8265352a8ecf509b81f318267823ee419a68c69d..e750bcdcad576d07368829aa0f09c4056b8d5ec5:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 1650724d75..9776b48a65 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 SimGrid (3.30.1) NOT RELEASED YET (v3.31 expected March 20. 2022, 15:33 UTC)
 
+MC:
+ - Rework the internals, for simpler and modern code. This shall unlock many future improvements.
+ - You can now define plugins onto SafetyChecker (a simple DFS explorer), using the declared signals.
+   See CommunicationDeterminism for an example.
+ - Support mutex in DPOR reduction
+ - Seems to work on Arm64 architectures too.
+
 SMPI:
  - fix for FG#100 by ensuring small asynchronous messages never overtake larger
    ones, conforming to the standard.
@@ -7,6 +14,7 @@ SMPI:
    their handles.
  - tracing: ensure that we dump the TI traces continuously during execution and
    not just at the end, reducing memory cost and performance hit.
+ - Update OpenMPI collectives selection logic to match current one (4.1.2)
 
 XBT:
  - Drop xbt_dynar_shrink().
@@ -15,6 +23,7 @@ Fixed bugs (FG#.. -> FramaGit bugs; FG!.. -> FG merge requests)
  (FG: issues on Framagit; GH: issues on GitHub)
  - FG#100: [SMPI] Order of the message matching is not guaranteed
  - FG#101: LGPL 2.1 is deprecated license
+ - GH#151: Missing mutexes for DPOR.
 
 ----------------------------------------------------------------------------