X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/35a644bdf9d0c5603c9483f03f913e4a649638d6..HEAD:/NEWS

diff --git a/NEWS b/NEWS
index 1ac203f9d6..bbe6e5f6ae 100644
--- a/NEWS
+++ b/NEWS
@@ -1,9 +1,20 @@
+
+                    _               _____  _____  __
+__   _____ _ __ ___(_) ___  _ __   |___ / |___ / / /_
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| '_ \
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) | (_) |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/ \___/
+               (not released yet)
+
+
                     _               _____  _________
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / ___|
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \___ \
  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |__) |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/____/
-               (not released yet)
+               November 23. 2023
+
+The "Thanks Giving up stateful model-checking" release. Stateless model checking remains.
 
  * Maint: liveness checking is gone. It was fragile and buggy.
  * API: ActivitySet make it easier to manage sets of activities.