X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ad02a1b4a1730fb36f36295f8749d4811f4d9a65..d4854883e75206804034547ff47080ec1a751e35:/ChangeLog

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