Cosmetics in the changelog and release notes

diff --git a/ChangeLog b/ChangeLog
index 4789ea8..d0f8191 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,8 +2,8 @@ SimGrid (3.30.1) NOT RELEASED YET (v3.31 expected March 20. 2022, 15:33 UTC)
 
 MC:
  - Rework the internals, for simpler and modern code. This shall unlock many future improvements.
- - You can now define plugins onto SafetyChecker (a simple DFS explorer), using the declared signals.
-   See CommunicationDeterminism for an example.
+ - You can now define plugins onto the DFS explorer (previously called SafetyChecker), using the 
+   declared signals. See CommunicationDeterminism for an example.
  - Support mutex, semaphore and barrier in DPOR reduction
  - Seems to work on Arm64 architectures too.
  - Display a nice error message when ptrace is not usable.
@@ -37,7 +37,7 @@ New plugin: the Chaos Monkey (killing actors at any time)
  - Along with the new simgrid-monkey script, it tests whether your simulation 
    resists resource failures at any possible timestamp in your simulation. 
  - It is mostly intended to test the simgrid core in extreme conditions, 
-   but users may find it interesting too.
+   but some users may find it interesting too.
 
 Models:
  - New model for parallel task: ptask_BMF.
@@ -48,15 +48,15 @@ Models:
    - Parameters:
      - "--cfg=host/model:ptask_BMF": enable the model.
      - "--cfg=bmf/max-iterations: <N>" - maximum number of iterations performed
-        by BMF solver (default: 1000).
+            by BMF solver (default: 1000).
         - "--cfg=bmf/selective-update:<true/false>" - enable/disable the
-        selective-update optimization. Only invalidates and recomputes modified
-        parts of inequations system. May speed up simulation if sparse resource
-        utilization (default: false).
+           selective-update optimization. Only invalidates and recomputes modified
+           parts of inequations system. May speed up simulation if sparse resource
+           utilization (default: false).
    - ATTENTION: this model requires Eigen3 library. If you install SimGrid
-   from source, please see the "Installing from source" section:
-   https://simgrid.org/doc/latest/Installing_SimGrid.html#installing-from-the-source.
-   No action is required if you use pre-compiled packages.
+     from source, please see the "Installing from source" section:
+     https://simgrid.org/doc/latest/Installing_SimGrid.html#installing-from-the-source.
+     No action is required if you use pre-compiled packages.
 
 XBT:
  - Drop xbt_dynar_shrink().

diff --git a/docs/source/Release_Notes.rst b/docs/source/Release_Notes.rst
index a78ce9e..4117d72 100644 (file)
--- a/docs/source/Release_Notes.rst
+++ b/docs/source/Release_Notes.rst
@@ -494,9 +494,14 @@ clear, but the checker code is now much easier to work with as the formal logic
 This cleaned design allowed us to finally implement the support for mutexes, semaphores and barriers in the model-checker. In particular, this should 
 enable the verification of RMA primitives with Mc SimGrid, as their implementation in SMPI is based on mutexes and barriers.
 
+We replaced the old, non-free ISP test suite by the one from the `MPI Bug Initiative <https://hal.archives-ouvertes.fr/hal-03474762>`_, but not all 
+tests are activated yet. This should eventually help improving the robustness of Mc SimGrid.
+
 Future work on the model checker include: support for condition variables (that are still not handled), implementation of another exploration algorithm based on UDPOR
-(`The Anh Pham's thesis <https://tel.archives-ouvertes.fr/tel-02462074/document>`_ was defended in 2019), and robustness improvement using the `MPI Bug 
-Initiative <https://hal.archives-ouvertes.fr/hal-03474762>`_ tests. Many things that were long dreamed of now become technically possible in this code base.
+(`The Anh Pham's thesis <https://tel.archives-ouvertes.fr/tel-02462074/document>`_ was defended in 2019).
+Many things that were long dreamed of now become technically possible in this code base.
+
+On the model front, we added BMF...
 
 .. |br| raw:: html