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

diff --git a/NEWS b/NEWS
index 3664c09506..bbe6e5f6ae 100644
--- a/NEWS
+++ b/NEWS
@@ -1,14 +1,62 @@
+
+                    _               _____  _____  __
+__   _____ _ __ ___(_) ___  _ __   |___ / |___ / / /_
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| '_ \
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) | (_) |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/ \___/
+               (not released yet)
+
+
+                    _               _____  _________
+__   _____ _ __ ___(_) ___  _ __   |___ / |___ / ___|
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \___ \
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |__) |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/____/
+               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.
+ * Plugins chiller, photovoltaic and battery revamped and improved.
+ * Performance improvements, both in time and memory.
+ * (+ internal refactoring, usability improvements and bug fixes)
+                    _               _____  _____ _  _
+__   _____ _ __ ___(_) ___  _ __   |___ / |___ /| || |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| || |_
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) |__   _|
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/   |_|
+               June 26. 2023
+
+Save the planet, skip a release: 3.33 was due 6 months ago, so skip directly to 3.34.
+
+ * Maint: MSG and Java are gone (EOL was scheduled for 2020), move to C++17,
+          and drop 32bits support.
+ * Model: Introduce a fluid I/O model, mixing I/O and network, to represent
+          streaming from disk
+ * API: DAG/workflow loader; Introducing Tasks which are activities that can
+        be fired several times.
+ * Doc: Several new documentation sections, and a new tutorial on DAGs.
+ * MC: Safety properties now portable to every OS, activated by default
+       in all builds.
+ * MC: Introduction ODPOR/SDPOR reductions and guiding strategies (better
+       state space traversal).
+ * (+ internal refactoring, bug fixes and documentation improvement)
+
                     _               _____  _________
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ /___ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \ __) |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) | ___) / __/
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)____/_____|
-               (unreleased)
+               October 3. 2022
+
+The Wiedervereinigung release. Germany was reunited 32 years ago.
 
   * Various cleanups around the virtual machines API
   * Improved Python platform generation (more robust, easier to use)
   * Further complete Python bindings (Comm, Engine, ptasks)
   * (+ internal refactoring, MANY bug fixes and documentation improvement)
+
                     _               _____  _____ _
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ // |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| |
@@ -22,6 +70,7 @@ The ненасильство release. We stand against war.
   * Introducing BMF sharing, enabling ptasks in regular models (experimental)
   * Further complete Python bindings (Mutex, Semaphore and Barrier)
   * (+ internal refactoring, many bug fixes and documentation improvement)
+
                     _               _____  _____  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / / _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| | | |