Changes

#2989 (May 18, 2024, 4:27:22 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

#2985 (May 14, 2024, 4:49:36 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

#2983 (May 12, 2024, 3:51:49 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

#2977 (May 4, 2024, 3:55:33 AM)

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

#2972 (Apr 29, 2024, 4:22:06 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

#2966 (Apr 23, 2024, 3:50:50 AM)

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

#2961 (Apr 18, 2024, 4:48:35 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

#2959 (Apr 16, 2024, 3:50:08 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

#2958 (Apr 15, 2024, 3:50:25 AM)

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

#2954 (Apr 11, 2024, 3:59:45 AM)

1. Add options for a new MC guiding strategy based on actor switch — Mathieu Laurent / detail
2. Add MC min context switch strategy — Mathieu Laurent / detail
3. Now we have replay from fork, fix MC BFS exploration — Mathieu Laurent / detail
4. Use a config to switch between MC full BFS or DFS-like — Mathieu Laurent / detail
5. Add a few parameters to sleep state to support BFS ODPOR — Mathieu Laurent / detail
6. Add ressource to work with ODPOR in BFS order — Mathieu Laurent / detail
7. Revert a small ODPOR optimisation that is not always correct — Mathieu Laurent / detail
8. Speak about explored traces rather than backtracks — Mathieu Laurent / detail
9. Add ODPOR reduction and support for its BFS version — Mathieu Laurent / detail
10. Remove unecessary debug information: too much is too much — Mathieu Laurent / detail
11. Fix dependencies — Mathieu Laurent / detail
12. Revalidate MC tesh files — Mathieu Laurent / detail
13. use intrusive_ptr instead of std::shared_ptr around mc::State — Martin Quinson / detail
14. Reduce the amount of dupplicated code between the constructors of mc::State — Martin Quinson / detail
15. One constructor less in mc::WutState (and one ugly trick less) — Martin Quinson / detail
16. Fix some sonar warnings and errors — Martin Quinson / detail

#2953 (Apr 10, 2024, 3:50:06 AM)

1. Fix bug when suspend() after resume() didn't work — Martin Quinson / detail
2. Fix pip job in CI — Ksenia Petrenko / detail

#2951 (Apr 8, 2024, 3:51:02 AM)

1. MC: Fix the condvar reversible race & let the exploration handle — Martin Quinson / detail
2. More sanity checks of the MC behavior — Martin Quinson / detail
3. Extend our logging mechanism to display the system pid on demand — Martin Quinson / detail
4. Disable SIGINT handler if we fork childs as all child would answer — Martin Quinson / detail

#2948 (Apr 5, 2024, 3:55:31 AM)

1. Gracefully fail the MC if there is no actor to run — Martin Quinson / detail
2. 2 more McMini tests — Martin Quinson / detail
3. sthread: ignore more binaries — Martin Quinson / detail
4. MC: add a soft timeout mechanism to only search for a given amount of time — Martin Quinson / detail
5. MC: take care of max depth in DFS too — Martin Quinson / detail
6. sthread: handle PTHREAD_COND_INITIALIZER — Martin Quinson / detail