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

StateFusion misses read-write conflict due to early return #1963

Merged

Conversation

FlorianDeconinck
Copy link
Contributor

Bring a V1 maintenace fix PR'ed here: #1954

Original commits messages:

  • Check for all potential match in _check_paths to not miss potential memlets_intersect failure.
  • Unit tests for checks the internal _check_paths function since it triggers on a non deterministic networkx search.

Check for all potential match in `_check_paths` to not miss potential
`memlets_intersect` failure.

Unit tests for checks the internal `_check_paths` function since it
triggers on a non deterministic networkx search.


:warning: This code exists as-is in `main` as of Feb 26 and showcase the
same issue, cherry-picking fix will have to happen :warning:
@tbennun tbennun enabled auto-merge March 5, 2025 21:26
Copy link
Contributor

@acalotoiu acalotoiu left a comment

Choose a reason for hiding this comment

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

LGTM! Thank you!

@tbennun tbennun added this pull request to the merge queue Mar 6, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 6, 2025
@phschaad phschaad added this pull request to the merge queue Mar 6, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 6, 2025
@FlorianDeconinck
Copy link
Contributor Author

@phschaad / @tbennun : merge queue please :)

@tbennun tbennun added this pull request to the merge queue Mar 6, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 6, 2025
@tbennun tbennun merged commit 6a485cf into spcl:main Mar 6, 2025
9 checks passed
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.

3 participants