Skip to content

Verilog: fix three type-checker gaps from LogikBench triage - #2052

Draft
kroening wants to merge 3 commits into
mainfrom
kroening/logikbench-typecheck-gaps
Draft

Verilog: fix three type-checker gaps from LogikBench triage#2052
kroening wants to merge 3 commits into
mainfrom
kroening/logikbench-typecheck-gaps

Verilog: give the integer type a concrete width in width queries

4354d46
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar