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

make find_distributed_partition deterministic #465

Closed
wants to merge 22 commits into from

Conversation

matthiasdiener
Copy link
Collaborator

@matthiasdiener matthiasdiener commented Oct 18, 2023

@matthiasdiener matthiasdiener self-assigned this Oct 18, 2023
@matthiasdiener matthiasdiener force-pushed the deterministic-find_dist_part branch from 34699f9 to d5e9402 Compare October 19, 2023 14:53
@matthiasdiener matthiasdiener force-pushed the deterministic-find_dist_part branch from 7041377 to a476462 Compare November 10, 2023 00:35
@matthiasdiener
Copy link
Collaborator Author

This is ready for a first look @inducer. For more comprehensive tests, I think we will need #459.

@matthiasdiener matthiasdiener force-pushed the deterministic-find_dist_part branch from 74816ce to 1aece93 Compare February 16, 2024 19:09
@matthiasdiener matthiasdiener force-pushed the deterministic-find_dist_part branch from 6e72772 to c7a9b63 Compare March 18, 2024 17:24
@matthiasdiener matthiasdiener force-pushed the deterministic-find_dist_part branch from 492b13d to 82336fe Compare July 19, 2024 16:03
@matthiasdiener
Copy link
Collaborator Author

Closing in favor of #529.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant