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.

Sign up for GitHub

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

Jump to bottom

MapFission: WCR in NestedSDFG fix #1361

Closed
wants to merge 1 commit into from
Closed

MapFission: WCR in NestedSDFG fix #1361

wants to merge 1 commit into from

Conversation

lukastruemper
Copy link
Contributor

No description provided.

@lukastruemper lukastruemper marked this pull request as draft September 3, 2023 17:29
@BenWeber42
Copy link
Contributor

Hi Lukas 🙂 , what's the status of this PR?

@lukastruemper
Copy link
Contributor Author

Hi Lukas 🙂 , what's the status of this PR?

Hey, I need to merge several PRs soon (this is one of them), coming from some work on a paper. But the paper deadline is too close, will find the time end of November to continue working on it

@BenWeber42
Copy link
Contributor

Ok, no problem. Thanks for the clarification 👍
Looks like this is a smaller fix. For the changelog it would be helpful to try to improve the title a bit (and maybe add 1 - 2 sentences describing the issue).

@lukastruemper lukastruemper deleted the map-fission-wcr-fix branch November 24, 2023 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lukastruemper @BenWeber42