Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add MPI capability to Ginkgo #931

Closed
wants to merge 43 commits into from
Closed

Add MPI capability to Ginkgo #931

wants to merge 43 commits into from

Conversation

pratikvn
Copy link
Member

This PR adds MPI capability to Ginkgo.

Most of the discussion has happened here: #908

As this capability is completely independent, it can be merged into develop without any conflicts.

pratikvn and others added 11 commits November 20, 2021 21:13
Co-authored-by: Aditya Kashi <aditya.kashi@kit.edu>
Co-authored-by: Tobias Ribizel <ribizel@kit.edu>
Co-authored-by: Tobias Ribizel <ribizel@kit.edu>
Co-authored-by: Marcel Koch <marcel.koch@kit.edu>
Co-authored-by: Aditya Kashi <aditya.kashi@kit.edu>
@pratikvn pratikvn added is:new-feature A request or implementation of a feature that does not exist yet. 1:ST:ready-to-merge This PR is ready to merge. mod:mpi This is related to the MPI module type:distributed-functionality labels Nov 29, 2021
@pratikvn pratikvn added this to the Ginkgo 1.5.0 milestone Nov 29, 2021
@pratikvn pratikvn requested a review from a team November 29, 2021 11:35
@pratikvn pratikvn self-assigned this Nov 29, 2021
@ginkgo-bot ginkgo-bot added mod:core This is related to the core module. reg:build This is related to the build system. reg:ci-cd This is related to the continuous integration system. reg:documentation This is related to documentation. reg:testing This is related to testing. labels Nov 29, 2021
@upsj
Copy link
Member

upsj commented Nov 29, 2021

Maybe instead merge distributed-develop into develop after #909 has been merged into it?

@pratikvn
Copy link
Member Author

Yeah, we could, I wanted to avoid the merge commits, which might be unnecessary.

@pratikvn
Copy link
Member Author

Superseded by #932

@pratikvn pratikvn closed this Nov 29, 2021
@pratikvn pratikvn deleted the mpi-bindings branch November 29, 2021 13:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:ready-to-merge This PR is ready to merge. is:new-feature A request or implementation of a feature that does not exist yet. mod:core This is related to the core module. mod:mpi This is related to the MPI module reg:build This is related to the build system. reg:ci-cd This is related to the continuous integration system. reg:documentation This is related to documentation. reg:testing This is related to testing. type:distributed-functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants