Skip to content

Conversation

@kroening
Copy link
Collaborator

This adds the grammar to parse module instantiations that use an instance array. The type checker errors these as unsupported.

@kroening kroening marked this pull request as ready for review December 19, 2025 15:56
@kroening kroening force-pushed the instance-array-grammar branch from daacc6b to 8d98072 Compare December 19, 2025 17:10
This adds the grammar to parse module instantiations that use an instance
array.  The type checker errors these as unsupported.
@kroening kroening force-pushed the instance-array-grammar branch from 8d98072 to 2d21017 Compare December 19, 2025 19:31
@tautschnig tautschnig merged commit 79a2e1e into main Dec 19, 2025
11 checks passed
@tautschnig tautschnig deleted the instance-array-grammar branch December 19, 2025 20:46
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