Mentions légales du service
Skip to content
GitLab
Explore
Sign in
starpu
starpu
Merge requests
!64
Fix/mpi redux edge case
Code
Review changes
Check out branch
Download
Patches
Plain diff
Antoine Jego
requested to merge
fix/mpi-redux_edge-case
into
master
Sep 29, 2022
Overview
5
Commits
2
Pipelines
0
Changes
1
Expand
Fix edge cases:
quick return when 1 contributing node
avoid segfault if redux_map is not set
Edited
Sep 29, 2022
by
Antoine Jego
Merge request reports