looks like a bug (doesn't fix the tests, though)

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 5fe765cbaa88f11d3c52cbc8de7fc1120a16a817..b1d47060a1497c9be0faf8f9e4efb41d167da40e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -16,6 +16,12 @@ SimGrid (3.13) UNRELEASED; urgency=low
     the lambda or closure passed as a parameter will run in kernel mode.
    Every callbacks should be rewritten to that interface at some point.
    
+ MC
+ * BC breaks:
+   - The option "model-check/sparse-checkpoint" was renamed to
+     "model-check/sparse_checkpoint" as we attempt to unify our naming
+     schemes.
+
  Surf
  * Reorganizing and cleaning the internals all around the place.