From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 12 Apr 2023 15:49:30 +0000 (+0200)
Subject: Document a bit the MC changes
X-Git-Tag: v3.34~169
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cf43f7d6117d1e5b8c55ebee06711c70f5bbca48

Document a bit the MC changes
---

diff --git a/ChangeLog b/ChangeLog
index 7cb4558527..9fc7013d64 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -57,6 +57,10 @@ Model checking:
  - Synchronize the MBI tests with upstream.
  - Show the full actor bactraces when replaying a MC trace (with model-check/replay)
    and the status of all actors on deadlocks in MC mode.
+ - The safety/stateless aspects of the MC are now enabled by default in all simgrid builds. 
+   Liveness and stateful aspects are still controled by the enabling_model-checking 
+   configuration option.
+ - Stateless model-checking is now usable on any system, including Mac OSX and ARM processors.
 
 XBT:
  - simgrid::xbt::cmdline and simgrid::xbt::binary_name are gone.