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

diff --git a/ChangeLog b/ChangeLog
index e5782ea712..66d4a379a9 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.
- - Add some McMini codes to test sthread further.
+ - Implement pthread_barrier and pthread_cond.
+ - 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