Add the model-checker to the build tree. It's not used yet

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index ac5eb25..7fb0258 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,11 @@
-SimGrid (3.4.2) unstable; urgency=low
+SimGrid (3.5) unstable; urgency=low
+
+ XBT
+ * New data container: setset (set of sets of elements)
+ * New module: mmalloc (mapped malloc)
+ * New function: xbt_dict_cursor_set_data()
+ * New function: xbt_fifo_get_last_item()
+ * Bug fix in xbt_dynar_shrink(): use the right element size
 
  -- Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>