Skip to content

relax bitvector constant check for Verilog bitvectors#8191

Merged
kroening merged 1 commit intodevelopfrom
bitvector-constant-verilogbv
Feb 6, 2024

Commits

Commits on Feb 6, 2024