Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented Oct 1, 2025

The case of ID_power is already handled separately; this removes the dead branch.

The case of ID_power is already handled separately; this removes the dead
branch.
@tautschnig tautschnig merged commit 8245090 into main Oct 2, 2025
29 of 31 checks passed
@tautschnig tautschnig deleted the verilog-tc-power-cleanup branch October 2, 2025 08:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants