X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0321eed9a43eb7c7c7ce8ce0274963c5a4ade6ad..a21b003b5b98e872795341d7f8c756938e10b0d0:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index a60dfcf6b0..41bc62f20a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -26,6 +26,7 @@ Kernel:
 MPI:
  - New option smpi/barrier-collectives to add a barrier to some collectives
    to detect dangerous code that /may/ work on some MPI implems.
+ - New function SMPI_app_instance_start() to easily start a MPI instance in your S4U simulation.
 
 Models:
  - Write the section of the manual about models, at least.
@@ -48,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.