Skip to content

Refactor PrimalDualMap#183

Merged
joaquimg merged 5 commits into
masterfrom
jg/pdmap
Apr 26, 2025
Merged

Refactor PrimalDualMap#183
joaquimg merged 5 commits into
masterfrom
jg/pdmap

Conversation

@joaquimg
Copy link
Copy Markdown
Member

There were too many maps, and it made it hard to figure out where the information was.

Copy link
Copy Markdown
Member

@blegat blegat left a comment

Choose a reason for hiding this comment

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

I agree, it was a bit confusing ^^

@joaquimg joaquimg merged commit f63d8ae into master Apr 26, 2025
6 checks passed
@joaquimg joaquimg deleted the jg/pdmap branch April 26, 2025 01:13
@joaquimg joaquimg mentioned this pull request Apr 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants