Changes

#4322 (May 24, 2024, 3:35:00 AM)

1. Move code outside of the header file — Mathieu Laurent / detail
2. Add debug info to DPOR algorithm — Mathieu Laurent / detail
3. Add boolean information about correction of the state — Mathieu Laurent / detail
4. Add pretty printer for ODPOR executions — Mathieu Laurent / detail
5. Add a critical transition explorer to the SimGrid MC — Mathieu Laurent / detail
6. Add the possibility to deactivate critical transition finder — Mathieu Laurent / detail
7. Set verbosity down when looking for critical transition — Mathieu Laurent / detail
8. Set deadlock test verbosity to low while looking for Gamma — Mathieu Laurent / detail
9. Enhance logging of critical exploration — Mathieu Laurent / detail
10. Revalidate tesh with critical transition exploration — Mathieu Laurent / detail
11. Add critical transition files — Mathieu Laurent / detail
12. Fix missing files after last MC update — Mathieu Laurent / detail
13. Add no-location on verbose output because it's paltform dependent — Mathieu Laurent / detail
14. Reindent, no real change — Martin Quinson / detail
15. multiline log channels' description break our scripts — Martin Quinson / detail

#4321 (May 23, 2024, 3:35:00 AM)

1. Give the MC a way to ask the app to not report deadlocks — Martin Quinson / detail
2. Make sure this MC code compiles when MC is enabled, bummer — Martin Quinson / detail
3. Revert "Give the MC a way to ask the app to not report deadlocks" (and its fixup) — Martin Quinson / detail
4. Specify the expected app verbosity in each CheckerSide::check_deadlock() — Martin Quinson / detail

#4316 (May 18, 2024, 3:35:00 AM)

1. Don't have the deprecated cmake option enable-maintainer-mode polute old trees for too long — Martin Quinson / detail
2. Disable McMini tests when MC is disabled — Martin Quinson / detail

#4312 (May 14, 2024, 3:35:00 AM)

1. refactor all things related to detached to Activity — suter / detail
2. refactor all things related to detached to ActivityImpl — suter / detail
3. add getter on detached_ — suter / detail
4. Enabling detach() for Exec — suter / detail
5. extend exec-async with a detached exec case — suter / detail
6. Enabling detach() for I/O — suter / detail
7. extend io-async with a detached read case — suter / detail

#4310 (May 12, 2024, 3:35:00 AM)

1. properly update position — suter / detail
2. release dependencies if no wait*() is called on a detached Comm with dependencies — suter / detail
3. Have to keep piface alive while releasing dependencies — suter / detail
4. Disable another MC test when MC is disabled — Martin Quinson / detail

#4302 (May 4, 2024, 3:35:00 AM)

1. Rename something to make its intend clear — Martin Quinson / detail
2. Give implementation files to MC strategies — Martin Quinson / detail

#4297 (Apr 29, 2024, 3:35:00 AM)

1. Improving ability to track task instances in runtime — Martin Quinson / detail
2. Added docs — Martin Quinson / detail
3. Added the on_this_instance_completion cb — Martin Quinson / detail

#4291 (Apr 23, 2024, 3:35:00 AM)

1. Add dependency theorem for Iprobe communication + revalidate tesh — Mathieu Laurent / detail

#4286 (Apr 18, 2024, 3:35:00 AM)

1. Correctly run the iprobe tests when they are not disabled — Martin Quinson / detail
2. Revalidate the tesh files now that we test them — Martin Quinson / detail
3. Fix the build out of tarballs of MC + MPI teshsuite tests — Martin Quinson / detail
4. Fix clang builds — Martin Quinson / detail
5. Try to fix ICC builds, nardin — Martin Quinson / detail
6. Fix atomic put() and get() in case of timeout (the comm must be cancel manually nowadays) — Martin Quinson / detail

#4284 (Apr 16, 2024, 3:35:00 AM)

1. Test that the faulty flag exists before disabling it — Martin Quinson / detail
2. Try to fix the pb with -Wcast-function-type-strict in MPICH tests — Martin Quinson / detail
3. Do not try to MC python programs when MC is not compiled in — Martin Quinson / detail
4. Fix another issue found by -Wcast-function-type-strict on MPICH tests — Martin Quinson / detail

#4283 (Apr 15, 2024, 3:35:00 AM)

1. Try to fix a warning of clang 19 on code using the weird C API of makecontext — Martin Quinson / detail