Skip to content

spec: legalize Verilog-reserved identifiers + fix a stale tri_a2a test; icarus KAT runs all 30 lowerable specs - #310

Merged
gHashTag merged 1 commit into
mainfrom
spec/verilog-reserved-and-stale-test
Aug 7, 2026
Merged

spec: legalize Verilog-reserved identifiers + fix a stale tri_a2a test; icarus KAT runs all 30 lowerable specs#310
gHashTag merged 1 commit into
mainfrom
spec/verilog-reserved-and-stale-test

Commits

Commits on Aug 7, 2026