X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a8c60905c3beb971d32d750d24409b60c3f882c4..0724fac3d997ae2f307992beb5f976fa9dec4102:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 6cb9aa8d8e..9776b48a65 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,7 @@ 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:
@@ -22,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.
 
 ----------------------------------------------------------------------------