X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ab5814bd4ea6117ecf9ac2df328333e89eb45f5f..refs/heads/experimental:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index b84988e6ff..d41a80e34a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,11 @@
-SimGrid (3.34.1) not released (Target: fall 2023)
+SimGrid (3.35.1) not released (target: Feb 24)
+
+
+----------------------------------------------------------------------------
+
+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()