model-checker : fix dichotomic search and insertion for visited states

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 6106142..067482d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -19,6 +19,7 @@ SimGrid (3.9) NOT RELEASED; urgency=low
 
  MSG:
  * New function: MSG_process_get_number()
+ * Old function documented: MSG_config()
 
  SURF:
  * Change the default value of the TCP_gamma constant (maximal size of TCP
@@ -26,6 +27,13 @@ SimGrid (3.9) NOT RELEASED; urgency=low
    your simulation results, you can fall back to the previous 20k tiny window
    by adding --cfg=network/TCP_gamma:20000 on command line.
  * Bug fix about the way periodic availability/state traces are handled.
+ * Bug fix: use default values at start when first event in availability/state 
+   trace is not at time 0.
+   
+ PLATFORM:
+ * remove the "new_" part of function name sg_platf_new_trace_connect
+   (resulting in sg_platf_trace_connect), since it does not create
+   anything new
 
  XBT:
  * Kill synchronized dynars, and xbt_dynar_dopar(). We cannot think of a