From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Nov 2023 19:54:43 +0000 (+0100)
Subject: Document all changes so far
X-Git-Tag: v3.35~71
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d4854883e75206804034547ff47080ec1a751e35

Document all changes so far
---

diff --git a/ChangeLog b/ChangeLog
index c3dd61afbc..e1a85f9a46 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -42,10 +42,15 @@ sthread:
  - Allow to use on valgrind-observed processes
  - Install sthread on user's disk.
  - Implement recursive pthreads.
+ - Implement pthread_barrier.
  - Add some McMini codes to test sthread further (controlled with enable_testsuite_McMini).
 
 Model checking:
+ - Remove stateful model-checking. This was not used, not really working, and very hard to fix.
+   Liveness properties cannot be verified anymore.
  - More informative backtraces on assertion failure.
+ - Fix dependency bugs for mutex and other transitions
+ - Fix some reversible_race definitions, and also the rest of ODPOR.
 
 Python:
  - Make the host_load plugin available from Python. See examples/python/plugin-host-load