• Allow to unseal netzones to modify the platform even after the simulation start.

• The model-checker can now report memory race conditions (see tutorial).

• Pip builds should now work out of the box.

• (+ the usual bug fixes overall, and improvements to the Java/Python bindings).

  https://framagit.org/simgrid/simgrid/-/blob/v4.1/ChangeLog

• https://hal.science/hal-04909441 summarizes 10 years of development leading to this release.
• New: Java bindings for the S4U interface (see the examples; the doc is still TBD).
• The platform API was cleaned up and simplified; XBT dict and dynars were phased out.
• MC: performance improvement and bug fixes.

Full changelog

• Various improvements and unification of the simulation APIs
• MC: Enable the verification of Python programs, and of condvars and iprobe calls.
• MC: Exhibit the critical transition when a failure is found.
• (+ internal refactoring and bug fixes)

Full changelog;

Stateless model checking remains.

• Maintenance: 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)

Full ChangeLog

• MSG and Java are gone (EOL was scheduled for 2020), move to C++17 and drop 32bits support.
• Introduce a fluid I/O model, mixing I/O and network, to represent streaming from disk
• DAG/workflow loader; Introducing Tasks which are activities that can be fired several times.
• Several new documentation sections, and a new tutorial.
• Safety properties now portable to every OS, activated by default in all builds.
• Introduction ODPOR/SDPOR reductions and guiding strategies (better state space traversal).
• (+ MANY internal refactoring, bug fixes and MANY documentation improvement)

Full changelog

• 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)

See the release notes and full changelog.

• Refactoring the model-checker, enabling synchronization objects and future improvements
• 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)

See the Release Notes and the full ChangeLog.

• SimDAG is finally removed, fully superseded by S4U.
• New documentation on calibrating MPI.
• The Algorithms tutorial can now be taken in Python.
• (+ many bug fixes and internal refactoring)

See the full ChangeLog and the Release notes.

We wish that every user ask one question about SimGrid to celebrate.
On Mattermost, Stack Overflow or using the issues tracker.

• Python bindings for the platform creation API
• Introduce non-linear resource sharing, allowing decay models
• New documentation section on realistic I/O modeling
• (+ many bug fixes and internal refactoring)

(today is the birthday of Crown Princess Victoria)

• Programmatic platform description (only C++ for now).
• New plugin to simplify producer/consumer applications.
• MC: new tutorial and associated docker image.
• SMPI: improve error handling for incorrect advanced usages.
• Many internal cleanups and refactoring to prepare the future.

See the full ChangeLog for details.