X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/febc73d27e83e3780002a5b2a4f14399ce0781ec..a235f4233cb2495709ecd10086515851b9948017:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index daa59076da..5a5649d99c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,7 +4,6 @@ SimGrid (3.13) UNRELEASED; urgency=low
 
  Backwards Compatibility breaks
    - Some command line options were renamed for consistency sake:
-     - model-check/sparse-checkpoint -> model-check/sparse_checkpoint
      - smpi/async_small_thres        -> smpi/async_small_thresh
      - smpi/send_is_detached_thres   -> smpi/send_is_detached_thresh 
 
@@ -12,6 +11,14 @@ SimGrid (3.13) UNRELEASED; urgency=low
      Lua can still be used to describe platforms
    - Removed Java kernel plug-ins.
      Will be reintroduced after the ongoing major internals reorg.
+   - In MSG
+      - the following functions were removed.
+        They were too specific and should be reimplemented in a generic
+        way, with filter function.
+	- MSG_task_listen_from_host
+	- MSG_mailbox_get_count_host_waiting_tasks
+      - MSG_mailbox_put_with_timeout was removed. 
+        Please use MSG_task_send_with_timeout instead.
    - In SimDag 
       - the SD_application_reinit function was removed. It was a noop for a while. 
       - The ACCESS_MODE of SD_workstation has been removed. This feature was not really usable and should soon be 
@@ -27,6 +34,15 @@ SimGrid (3.13) UNRELEASED; urgency=low
       - VM.setBound(int load) is now VM.setBound(double bound) to meet the MSG semantics. Use VM.getSpeed()*load/100 for the legacy behavior.
    - In CMake
       - option enable_tracing was removed. It was not doing anything since a while.
+   - In the ModelChecker:
+      - the model-checker now ptraces the model-checked process which means
+        you cannot use a debugger on the latter anymore (we might make this
+        optional in the feature);
+      - removed soft-dirty page tracking;
+      - remove model-checked side snapshot management,
+        MC_snapshot() and MC_compare_snapshot();
+      - keep the MC_cut() function as a stub (it was not really working
+        in the previous release).
 
  XML platforms:
  * Switch to platform v4 format.
@@ -35,6 +51,9 @@ SimGrid (3.13) UNRELEASED; urgency=low
    - In <trace_connect>, attribute kind="POWER" is now kind="SPEED".
    - In <host> and <link>, attributes availability and state are gone.
      It was redundent with state and availability traces, and with peak values.
+   - In <cluster>, attributes availability_file and state_file are gone.
+     It was too complex and unused.
+   - Kill <gpu>. Was not doing anything.
    - The DOCTYPE points to the right URL:
      http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd
      (the file at this address now documents the changelog since its v1)
@@ -78,6 +97,8 @@ SimGrid (3.13) UNRELEASED; urgency=low
  SMPI
  * Remove old default barrier/bcast buggy algorithms (see #18407)
  * Various bug fixes to handle more codes
+ * Remove the need for the --foreground option of smpirun (it is still
+   accepted for backward compatibility).
 
  XBT
  * Kill the setset data container: MC don't use it anymore.
@@ -89,7 +110,14 @@ SimGrid (3.13) UNRELEASED; urgency=low
  * New functions:
    - xbt_dynar_sort_strings(), when the content is char*
    - xbt_str_parse_int / xbt_str_parse_double, wrapping strtol/strtod
-     They throw exceptions on invalid input.
+     They throw exceptions on invalid input;
+ * C++ support for declaring CLI flags (simgrid::config::Flag);
+ * class for abstracting different signal backends (simgrid::xbt::signal).
+
+ MC
+ * refactoring and cleanup of the code;
+ * ongoing process to cleanly separate the model-checking algorithms
+   from the code model-checking support.
  
  -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>