⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Conversation

@machshev
Copy link
Collaborator

Fixes: #82

Copy link

@marnovandermaas marnovandermaas left a comment

Choose a reason for hiding this comment

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

This looks good to me, thanks for the fix!

Signed-off-by: James McCorrie <james.mccorrie@lowrisc.org>
@machshev machshev added this pull request to the merge queue Jan 21, 2026
Merged via the queue into lowRISC:master with commit bd28563 Jan 21, 2026
6 checks passed
@machshev machshev deleted the formal_flow branch January 22, 2026 12: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.

The current version of dvsim doesn't really work for the formal flow

2 participants