Skip to content

Misc Fixes - #698

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

Misc Fixes#698
MMory merged 3 commits into
developmentfrom
f-MiscFixes

Conversation

@fabianbs96

@fabianbs96 fabianbs96 commented Jan 17, 2024

Copy link
Copy Markdown
Member

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

@MMory MMory left a comment

Copy link
Copy Markdown
Member

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