From d4854883e75206804034547ff47080ec1a751e35 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 12 Nov 2023 20:54:43 +0100 Subject: [PATCH] Document all changes so far --- ChangeLog | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.20.1