Skip to content

Misc Fixes#698

Merged
MMory merged 3 commits intodevelopmentfrom
f-MiscFixes
Feb 1, 2024
Merged

Misc Fixes#698
MMory merged 3 commits intodevelopmentfrom
f-MiscFixes

Conversation

@fabianbs96
Copy link
Member

@fabianbs96 fabianbs96 commented Jan 17, 2024

Fixes the initial values handling in IDESolver to handle the case that a seed location can be reached from another path.

Additionally fixes the MaybeUniquePtr with incomplete types

Join values correctly when reaching a seed location from a different path
@fabianbs96 fabianbs96 self-assigned this Jan 17, 2024
@fabianbs96 fabianbs96 requested a review from MMory as a code owner January 17, 2024 16:50
@fabianbs96 fabianbs96 added the bug Something isn't working label Jan 17, 2024
Copy link
Member

@MMory MMory left a comment

Choose a reason for hiding this comment

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

lgtm, thanks!

@MMory MMory merged commit cd302d8 into development Feb 1, 2024
@MMory MMory deleted the f-MiscFixes branch February 1, 2024 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants