Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented Oct 1, 2025

This changes the representation of Verilog's null. Instead of converting the null type to the type expected in the context, an implicit cast is added.

This changes the representation of Verilog's null.  Instead of converting
the null type to the type expected in the context, an implicit cast is
added.
@tautschnig tautschnig merged commit 876ca77 into main Oct 2, 2025
11 checks passed
@tautschnig tautschnig deleted the verilog_null_conversion branch October 2, 2025 08:31
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