Skip to content

Conversation

@kroening
Copy link
Collaborator

This allows the use of identifiers that are typedefs in the local scope as the name of the port in a named port connection.

@kroening kroening force-pushed the named-port-connection-fix branch from 2289640 to 4125b66 Compare November 18, 2025 15:29
This allows the use of identifiers that are typedefs in the local scope as
the name of the port in a named port connection.
@kroening kroening force-pushed the named-port-connection-fix branch from 4125b66 to 53933a4 Compare November 20, 2025 00:53
@kroening kroening marked this pull request as ready for review November 20, 2025 05:35
@tautschnig tautschnig merged commit 3be1402 into main Nov 20, 2025
11 checks passed
@tautschnig tautschnig deleted the named-port-connection-fix branch November 20, 2025 08:38
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