Skip to content

Conversation

@GregAC
Copy link
Contributor

@GregAC GregAC commented Feb 14, 2025

The concept of pre and post MIP values was introduced a while ago but the comments in the interface weren't updated to explain what they are.

The concept of pre and post MIP values was introduced a while ago but
the comments in the interface weren't updated to explain what they are.
@marnovandermaas marnovandermaas added this pull request to the merge queue Feb 18, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Feb 18, 2025
@GregAC GregAC added this pull request to the merge queue Feb 18, 2025
Merged via the queue into lowRISC:master with commit 60fbb6b Feb 18, 2025
11 checks passed
@GregAC GregAC deleted the cosim_comment branch February 18, 2025 22:31
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.

2 participants