simgrid (4.1-2build1) stonking; urgency=medium

  * No-change rebuild for libns3.47.

 -- Sudip Mukherjee <sudipm.mukherjee@gmail.com>  Thu, 11 Jun 2026 12:14:51 +0000

simgrid (4.1-2) unstable; urgency=medium

  * d/p/ns3-47.diff: Adapt to API change in ns3 v3.47 (Closes: #1129164).

 -- Martin Quinson <mquinson@debian.org>  Fri, 27 Feb 2026 18:41:49 +0100

simgrid (4.1-1) unstable; urgency=medium

  * New upstream release: Breaking the seal (v4.0 was not the final release).
    - Allow one 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).

  * Run wrap-and-sort -astkb
  * d/control: bump Standards-version to 4.7.2.

 -- Martin Quinson <mquinson@debian.org>  Tue, 11 Nov 2025 23:27:12 +0100

simgrid (4.0-1) unstable; urgency=medium

  * New upstream release: At last, the "this one is 4 you" release.

    * 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.

 -- Martin Quinson <mquinson@debian.org>  Wed, 12 Mar 2025 13:44:19 +0100

simgrid (3.36-2) unstable; urgency=medium

  * Enable the model-checking part of this package now that it's quite usable.
  * Enable the json bindings.

 -- Martin Quinson <mquinson@debian.org>  Sat, 14 Sep 2024 16:48:17 +0200

simgrid (3.36-1) unstable; urgency=medium

  * New upstream release: The Anne of Brittany release
    (she became a Duchess 536 years ago).

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

 -- Martin Quinson <mquinson@debian.org>  Tue, 10 Sep 2024 01:21:21 +0200

simgrid (3.35-2) unstable; urgency=medium

  * Acknowledge the t64 NMU.
  * d/p/ns3.42_needs_c++20: new patch picked upstream to cope with
    ns3.42 insisting on having C++20 (Closes: #1074147).

 -- Martin Quinson <mquinson@debian.org>  Sun, 23 Jun 2024 22:10:40 +0200

simgrid (3.35-1.1) experimental; urgency=medium

  * Non-maintainer upload.
  * Rename libraries for 64-bit time_t transition.

 -- Sergio Durigan Junior <sergiodj@debian.org>  Sat, 03 Feb 2024 22:02:30 +0000

simgrid (3.35-1) unstable; urgency=medium

  * New upstream release: "Thanks Giving up stateful model-checking"
    - Maint: liveness checking is gone. It was fragile and buggy.
      Stateless model checking remains and gets further improved.
    - 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)
  * Drop d/p/commit-2beb5fe which was picked upstream for #1042217.
  * d/copyright: update according to recent upstream changes.

 -- Martin Quinson <mquinson@debian.org>  Sun, 26 Nov 2023 23:38:10 +0100

simgrid (3.34-3) unstable; urgency=medium

  * Integrate an upstream patch to fix the execution with ns3 v3.36+
    (Closes: #1042217).

 -- Martin Quinson <mquinson@debian.org>  Tue, 07 Nov 2023 13:58:45 +0100

simgrid (3.34-2) unstable; urgency=medium

  * d/control: Add 'Rules-Requires-Root: no' as it should be.

 -- Martin Quinson <mquinson@debian.org>  Tue, 18 Jul 2023 16:00:30 +0200

simgrid (3.34-1) unstable; urgency=medium

  * d/control: Also drop lua from the Recommends:
  * New upstream release: 3.34 (3.33 never got released upstream)
    - 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 (in particular in the Debian package).
    - MC: Introduction ODPOR/SDPOR reductions and guiding strategies
          (better state space traversal).
    - (+ internal refactoring, bug fixes and documentation improvement)
  * d/control: bump Standards-version to 4.6.2.
  * d/control: Java was dropped upstream, so kill the relevant package.
  * d/p: All our patches are integrated or obsoleted by upstream.
  * simgrid-colorizer is not built upstream anymore.

 -- Martin Quinson <mquinson@debian.org>  Tue, 27 Jun 2023 00:56:28 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libsimgrid4.1`.
