"README.md" did not exist on "00fda05c0197a535469bac623ad204c244246bbd"
A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
Add a pause field in the chamctxt structure to check if the runtime is paused when synchronizing the system.
Without this patch, when calling one of the chameleon_sequence_wait() family call, if the runtime system is paused, then Chameleon will deadlock. Thus we automatically resume the runtime system with a warning, and pause again at exit.
Fix issue #105 (closed)