Skip to content

Conversation

@kroening
Copy link
Collaborator

Parsing is too earny a stage to use full identifiers -- this replaces the use of full identifiers in the Verilog parse tree by the combination of scope prefix and base name.

Parsing is too earny a stage to use full identifiers -- this replaces the
use of full identifiers in the Verilog parse tree by the combination of
scope prefix and base name.
@kroening kroening marked this pull request as ready for review December 26, 2025 16:00
@tautschnig tautschnig merged commit b709df1 into main Dec 27, 2025
11 checks passed
@tautschnig tautschnig deleted the verilog_scope_prefix branch December 27, 2025 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants