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

Metis Reorder Integration #217

Merged
merged 4 commits into from
Oct 28, 2022
Merged

Metis Reorder Integration #217

merged 4 commits into from
Oct 28, 2022

Conversation

ardasener
Copy link
Contributor

The other PR related to Metis Reorder had merge conflicts due to a formatting error. This PR is a direct replacement for that.

@AmroAlJundi AmroAlJundi mentioned this pull request Oct 28, 2022
@AmroAlJundi AmroAlJundi added type: feature Brand new functionality, features, workflows, endpoints, etc state: pending Taking action labels Oct 28, 2022
@AmroAlJundi AmroAlJundi linked an issue Oct 28, 2022 that may be closed by this pull request
…der_final

# Conflicts:
#	examples/metis_partition/metis_partition.cc
#	src/generate_explicit_instantiations.py
#	src/sparsebase/preprocess/preprocess.cc
#	src/sparsebase/preprocess/preprocess.h
#	tests/suites/sparsebase/preprocess/preprocess_tests.cc
@AmroAlJundi AmroAlJundi self-requested a review October 28, 2022 12:38
@AmroAlJundi AmroAlJundi added state: approved Approved to proceed. Ready to be merged and removed state: pending Taking action labels Oct 28, 2022
AmroAlJundi
AmroAlJundi previously approved these changes Oct 28, 2022
Copy link
Contributor

@AmroAlJundi AmroAlJundi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.

@ardasener ardasener merged commit 169afc7 into develop Oct 28, 2022
@ardasener ardasener deleted the feature/metis_reorder_final branch October 28, 2022 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
state: approved Approved to proceed. Ready to be merged type: feature Brand new functionality, features, workflows, endpoints, etc
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Metis reordering
2 participants