# 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}")
-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()
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \___ \
\ 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.
- 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
@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
<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
author = u'The SimGrid Team'
# The short X.Y version
-version = u'3.34.1'
+version = u'3.35'
# -- General configuration ---------------------------------------------------
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',
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