Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented Sep 3, 2025

This adds the ID_C_verilog_type annotation to the lowered array type, to distinguish packed and unpacked arrays after type lowering.

This adds the ID_C_verilog_type annotation to the lowered array type, to
distinguish packed and unpacked arrays after type lowering.
@tautschnig tautschnig merged commit 0509f0f into main Sep 8, 2025
11 checks passed
@tautschnig tautschnig deleted the verilog-array-type branch September 8, 2025 07:37
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.

2 participants