X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4a77ca24869b516773732d0e9c7b5219ce6832fd..9900c8f9847ec57bd5e69aa82ada3c90fa542a56:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index a967110363..7dd1b9a45b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,6 +2,7 @@ SimGrid (3.23) NOT RELEASED (Release Target: June 21. 2019, 15:54 UTC)
 
 General:
  - Stop setting random seed with srand48() at initialization.
+ - Use addr2line as a fallback for stacktraces when backtrace is not available.
 
 XBT:
  - New log appenders: stdout and stderr. Use stdout for xbt_help.
@@ -12,6 +13,9 @@ SMPI:
  - MPI/IO is now supported over the Storage API (no files are written or read, storage is simulated). Supported calls are all synchronous ones.
  - MPI interface is now const correct for input parameters
 
+Model-checker:
+ - Remove option 'model-check/record': Paths are recorded in any cases now.
+
 Fixed bugs (GH=GitHub; FG=FramaGit):
  - FG#10: Can not use MSG_process_set_data from SMPI any more
  - FG#11: Auto-restart actors forget their on_exit behavior