From 344c3beefcae82c5bb02768e58f0607b5eb3d088 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 16 May 2019 09:02:21 +0200 Subject: [PATCH] Close simgrid/simgrid#7 (FramaGit). --- ChangeLog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ChangeLog b/ChangeLog index 91fbb8ce94..a9eba49957 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. + - Build option -Denable_documentation is now OFF by default. XBT: - New log appenders: stdout and stderr. Use stdout for xbt_help. @@ -16,6 +17,7 @@ Model-checker: - Remove option 'model-check/record': Paths are recorded in any cases now. Fixed bugs (GH=GitHub; FG=FramaGit): + - FG#7: simple cmake call requires doxygen - FG#10: Can not use MSG_process_set_data from SMPI any more - FG#11: Auto-restart actors forget their on_exit behavior - GH#133: Java : a process can run on a VM even if its host is off -- 2.20.1