Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Release v3.35 stable v3.35
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 23 Nov 2023 23:00:35 +0000 (00:00 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 23 Nov 2023 23:00:35 +0000 (00:00 +0100)
CMakeLists.txt
ChangeLog
NEWS
doc/doxygen/inside_release.doc
docs/source/Release_Notes.rst
docs/source/conf.py
setup.py
sonar-project.properties

index 80e106c..aa272ac 100644 (file)
@@ -1,8 +1,8 @@
 # Build the version number
 
 set(SIMGRID_VERSION_MAJOR "3")
-set(SIMGRID_VERSION_MINOR "34")
-set(SIMGRID_VERSION_PATCH "1") # odd => git branch; even => stable release or released snapshot
+set(SIMGRID_VERSION_MINOR "35")
+set(SIMGRID_VERSION_PATCH "0") # odd => git branch; even => stable release or released snapshot
 
 if(${SIMGRID_VERSION_PATCH} EQUAL "0")
   set(release_version "${SIMGRID_VERSION_MAJOR}.${SIMGRID_VERSION_MINOR}")
index b84988e..26a1e07 100644 (file)
--- 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()
diff --git a/NEWS b/NEWS
index 1ac203f..92b6e77 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,9 @@ __   _____ _ __ ___(_) ___  _ __   |___ / |___ / ___|
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \___ \
  \ 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.
index 65f20c0..43dbbdb 100644 (file)
@@ -14,7 +14,6 @@ Please apply the following checklist before releasing.
 - ChangeLog file
   - All changes are documented
   - The release date is indicated below the changes
-  - The release is marked as stable above the changes (remove the UNRELEASED marker)
   - The release dub name matches the one given in NEWS file
 - NEWS
   - The most notable changes of the version are documented
@@ -35,6 +34,7 @@ Please apply the following checklist before releasing.
 @subsection inside_release_c_releasing Actually releasing SimGrid
 
 - Update the version number in:
+  - ChangeLog header
   - CMakeLists.txt (in macros SIMGRID_VERSION_*)
   - sonar-project.properties
   - docs/source/conf.py
index 973cf6b..553a2e5 100644 (file)
@@ -666,8 +666,8 @@ sthread can now also check concurrent accesses to a given collection, loosely in
 <https://www.microsoft.com/en-us/research/publication/efficient-and-scalable-thread-safety-violation-detection-finding-thousands-of-concurrency-bugs-during-testing>`_.
 This feature is not very usable yet, as you have to manually annotate your code, but we hope to improve it in the future.
 
-Version 3.35 (TBD)
-------------------
+Version 3.35 (November 23. 2023)
+--------------------------------
 
 **On the performance front**, we did some profiling and optimisation for this release. We saved some memory in simulation
 mixing MPI applications and S4U actors, and we greatly improved the performance of simulation exchanging many messages. We even
index 7c553de..c3d7630 100644 (file)
@@ -34,7 +34,7 @@ copyright = u'2002-2023, The SimGrid Team'
 author = u'The SimGrid Team'
 
 # The short X.Y version
-version = u'3.34.1'
+version = u'3.35'
 
 # -- General configuration ---------------------------------------------------
 
index 37aa580..122b1c8 100755 (executable)
--- a/setup.py
+++ b/setup.py
@@ -74,7 +74,7 @@ class CMakeBuild(build_ext):
 
 setup(
     name='simgrid',
-    version='3.34.1',
+    version='3.35',
     author='Da SimGrid Team',
     author_email='simgrid-community@inria.fr',
     description='Toolkit for scalable simulation of distributed applications',
index a6d28f5..69ebaa1 100644 (file)
@@ -4,7 +4,7 @@
 sonar.organization=simgrid
 sonar.projectKey=simgrid_simgrid
 sonar.projectName=SimGrid
-sonar.projectVersion=3.34.1
+sonar.projectVersion=3.35
 
 sonar.links.homepage=https://simgrid.org
 sonar.links.issue=https://framagit.org/simgrid/simgrid/issues