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

diff --git a/ChangeLog b/ChangeLog
index 5e238de1f7..9fc7013d64 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -18,6 +18,7 @@ S4U:
  - Full simDAG integration: Activity::start() actually starts only when all dependencies
    are fullfiled. If it cannot be started right away, it will start as soon as it becomes
    possible.
+ - Allow to set a concurrency limit on disks and hosts, as it was already the case for links.
 
 Kernel:
  - optimize an internal datastructure (use a set instead of a list for ongoing activities),
@@ -49,11 +50,17 @@ 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.
  - Show the full actor bactraces when replaying a MC trace (with model-check/replay)
    and the status of all actors on deadlocks in MC mode.
+ - The safety/stateless aspects of the MC are now enabled by default in all simgrid builds. 
+   Liveness and stateful aspects are still controled by the enabling_model-checking 
+   configuration option.
+ - Stateless model-checking is now usable on any system, including Mac OSX and ARM processors.
 
 XBT:
  - simgrid::xbt::cmdline and simgrid::xbt::binary_name are gone.