X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6459d91d70662f4ca8e3a7b4582d5f14e94fa0f5..24760d83c71aa79e6aab9d3922d30a607a6cf7da:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 5e238de1f7..41bc62f20a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -49,6 +49,8 @@ Models:
 sthread:
  - Implement pthread_join in MC mode.
  - Implement semaphore functions in sthread.
+ - Add an intricated way to verify the access to non-reentrant data structures
+   It requires code annotation, as shown in examples/sthread/stdobject/stdobject.cpp
 
 Model checking:
  - Synchronize the MBI tests with upstream.