Skip to content

AIG generation: ignore Verilog named blocks#1448

Merged
kroening merged 1 commit intomainfrom
netlist-named-block
Dec 1, 2025
Merged

AIG generation: ignore Verilog named blocks#1448
kroening merged 1 commit intomainfrom
netlist-named-block

Commits

Commits on Dec 1, 2025