Changes
#3018 (Jun 16, 2024, 3:52:15 AM)
- ns3 v3.42 requires C++20 — Martin Quinson / detail
#3016 (Jun 14, 2024, 4:04:28 AM)
- [MC] Add a missing case for reversible race — Mathieu Laurent / detail
#3014 (Jun 12, 2024, 3:54:02 AM)
- [MC] Fix the reporting of correct execution by the BFS explorer — Mathieu Laurent / detail
- [MC] Add usefull info about a necessary fix when combining with BFS — Mathieu Laurent / detail
- [MC] Allow critical transition exploration with crashing application — Mathieu Laurent / detail
#3010 (Jun 8, 2024, 4:38:13 AM)
- fixes in jbod plugin — suter / detail
- revalidate tesh file — suter / detail
- make NetZoneImpl extendable — suter / detail
- add a function to retrieve all the NetZones in a platform (including the root zone) — suter / detail
#3007 (Jun 5, 2024, 4:31:53 AM)
- Move some doc from the .cpp file to the .hpp file so that doxygen finds it — Martin Quinson / detail
#2995 (May 24, 2024, 3:53:32 AM)
- Move code outside of the header file — Mathieu Laurent / detail
- Add debug info to DPOR algorithm — Mathieu Laurent / detail
- Add boolean information about correction of the state — Mathieu Laurent / detail
- Add pretty printer for ODPOR executions — Mathieu Laurent / detail
- Add a critical transition explorer to the SimGrid MC — Mathieu Laurent / detail
- Add the possibility to deactivate critical transition finder — Mathieu Laurent / detail
- Set verbosity down when looking for critical transition — Mathieu Laurent / detail
- Set deadlock test verbosity to low while looking for Gamma — Mathieu Laurent / detail
- Enhance logging of critical exploration — Mathieu Laurent / detail
- Revalidate tesh with critical transition exploration — Mathieu Laurent / detail
- Add critical transition files — Mathieu Laurent / detail
- Fix missing files after last MC update — Mathieu Laurent / detail
- Add no-location on verbose output because it's paltform dependent — Mathieu Laurent / detail
- Reindent, no real change — Martin Quinson / detail
- multiline log channels' description break our scripts — Martin Quinson / detail
#2994 (May 23, 2024, 3:52:19 AM)
- Give the MC a way to ask the app to not report deadlocks — Martin Quinson / detail
- Make sure this MC code compiles when MC is enabled, bummer — Martin Quinson / detail
- Revert "Give the MC a way to ask the app to not report deadlocks" (and its fixup) — Martin Quinson / detail
- Specify the expected app verbosity in each CheckerSide::check_deadlock() — Martin Quinson / detail
#2989 (May 18, 2024, 4:27:22 AM)
- Don't have the deprecated cmake option enable-maintainer-mode polute old trees for too long — Martin Quinson / detail
- Disable McMini tests when MC is disabled — Martin Quinson / detail
#2985 (May 14, 2024, 4:49:36 AM)
- refactor all things related to detached to Activity — suter / detail
- refactor all things related to detached to ActivityImpl — suter / detail
- add getter on detached_ — suter / detail
- Enabling detach() for Exec — suter / detail
- extend exec-async with a detached exec case — suter / detail
- Enabling detach() for I/O — suter / detail
- extend io-async with a detached read case — suter / detail
#2983 (May 12, 2024, 3:51:49 AM)
- properly update position — suter / detail
- release dependencies if no wait*() is called on a detached Comm with dependencies — suter / detail
- Have to keep piface alive while releasing dependencies — suter / detail
- Disable another MC test when MC is disabled — Martin Quinson / detail
#2977 (May 4, 2024, 3:55:33 AM)
- Rename something to make its intend clear — Martin Quinson / detail
- Give implementation files to MC strategies — Martin Quinson / detail
#2972 (Apr 29, 2024, 4:22:06 AM)
- Improving ability to track task instances in runtime — Martin Quinson / detail
- Added docs — Martin Quinson / detail
- Added the on_this_instance_completion cb — Martin Quinson / detail