Release v3.35

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index b84988e..26a1e07 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,6 @@
-SimGrid (3.34.1) not released (Target: fall 2023)
+SimGrid (3.35) November 23. 2023
+
+The "Thanks Giving up stateful model-checking" release. Stateless model checking remains.
 
 S4U:
  - New class ActivitySet to ease wait_any()/test_any()/wait_all()