Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : create subdir for chord example with liveness model-checking
[simgrid.git] / ChangeLog
index 5d4efe5..5f1f538 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,9 @@ SimGrid (3.9) NOT RELEASED; urgency=low
  * Now works on Windows too!
  * Much more extensive test suite, from MPICH
 
+ MSG:
+ * New function: MSG_process_get_number()
+
  -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
 
 SimGrid (3.8.1) stable; urgency=low