Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Release v3.35
[simgrid.git] / NEWS
diff --git a/NEWS b/NEWS
index 7265100..92b6e77 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,8 +3,15 @@ __   _____ _ __ ___(_) ___  _ __   |___ / |___ / ___|
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \___ \
  \ 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.
+ * Plugins chiller, photovoltaic and battery revamped and improved.
+ * Performance improvements, both in time and memory.
+ * (+ internal refactoring, usability improvements and bug fixes)
                     _               _____  _____ _  _
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ /| || |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \| || |_