This one was not ours.

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 9a20027..4ebb78d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,7 +4,6 @@ SimGrid (3.13) UNRELEASED; urgency=low
 
  Backwards Compatibility breaks
    - Some command line options were renamed for consistency sake:
-     - model-check/sparse-checkpoint -> model-check/sparse_checkpoint
      - smpi/async_small_thres        -> smpi/async_small_thresh
      - smpi/send_is_detached_thres   -> smpi/send_is_detached_thresh 
 
@@ -44,6 +43,10 @@ SimGrid (3.13) UNRELEASED; urgency=low
         MC_snapshot() and MC_compare_snapshot();
       - keep the MC_cut() function as a stub (it was not really working
         in the previous release).
+       
+ Options:
+ * All options are consistently in kebab-case (but the tracing ones). 
+   Old names are kept as alias.
 
  XML platforms:
  * Switch to platform v4 format.