Skip to content

chore: introduce BitVec.setWidth to unify zeroExtend and truncate#5358

Merged
kim-em merged 2 commits intoleanprover:masterfrom opencompl:setwidthSep 18, 2024

Commits

Commits on Sep 18, 2024