X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e9b99cc75875aaffe31d627aceb45a3583770d55..30382b06d3320a281f1556546e3b0a8112bd055a:/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.