"git@gitlab.inria.fr:why3/why3.git" did not exist on "7a8f445847716f41b10f6aba2671a70d08a6e8c8"
Example comm split
Compare changes
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Add an example to show that Chameleon can be used with custom MPI communicators (different from MPI_COMM_WORLD).
Two different algorithms (potrf and getrf_nopiv) are called at the same time on two different communicators A (0, 2) and B (1, 3).