Remove the stateful model-checking from the archive. It's not working anymore It's a real pity to remove all this great code, as it was doing very audacious things, but I need to do so to move forward. This code is very fragile and badly tested, making it very difficult to build upon. The next time this is implemented (if any), I guess that a compiler-approach (e.g. a clang plugin providing a full introspection over the compiled program) would be more robust than a fully runtime approach tricking with the debug information to get the info. That's too difficult and fragile. Again, I'm deeply sorry I had to remove this code, as it requires me to admit that I failed to maintain this great code over the years. But facts are stubborn.
SMPI - delay allocation of mailboxes to save some memory in case they are not needed (when launched actors not really smpi actors)
MPI_UNIVERSE_SIZE now initialized to the total amount of hosts in the platform
Use #include <...> for foreign header files. Files in teshsuite/smpi/mpich3-test/ were not considered.
Allow to call SMPI_app_instance_start() once the simulation started The main trick was to set the needed property before the Actor::start() using init()->set_property()->start(), so that the property is here soon enough.
Kill src/include The -Isrc/include makes it difficult to recognize in the source which \#include takes a public header and which one is a private header. Plus, move the third-party headers to a specific directory.
Update copyright lines for 2023.
Remove redundant guard. AppSide::ignore_heap() already returns early when not MC_is_active().
Concatenate nested namespaces (sonar).
Reduce dependencies on <simgrid/version.h>. Limit the amount of re-compilation when the file is changed by cmake.
add finalizing state for smpi actor: if finalization barrier is used, tag is now different, in order not to match against other MPI_Barrier that may be in the MPI code
One less implicit conversion (sonar).
Update copyright lines for 2022.
get rid of simix_global and smx_private.hpp
[sonar] Pointer-to-const.
Initialize mmap-privatized segments earlier (before main). Sometimes we may want to initiailze a global before MPI_Init.
Make smpi_switch_data_segment check if a switch is needed, and return true when it occurs. Kill global SMPI_switch_data_segment.
Deprecate SIMIX_get_clock(). Use simgrid_get_clock() or Engine::get_clock().
Change smpi::Group::set_mapping to take a pid.
try to improve handling of comm_self a bit.