X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/414839787a24ee470f3124f95659a5f6569a2cd5..d68e1c39ec0832cb2391aedd17a868c597dd399e:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index b84988e6ff..26a1e077c4 100644
--- 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()