Skip to content

Verilog: derive identifier from annotated scope#1912

Draft
kroening wants to merge 3 commits into
mainfrom
full-identifier
Draft

Verilog: derive identifier from annotated scope#1912
kroening wants to merge 3 commits into
mainfrom
full-identifier

Conversation

@kroening

Copy link
Copy Markdown
Collaborator

No description provided.

kroening added 3 commits June 19, 2026 18:57
This adds a missing pop_scope to match the enter_scope for a typedef in a
given package scope.
This adds convenience helpers for adding module, package, class scopes,
moving the logic from the parser to the verilog_scopest class.
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.

1 participant