Skip to content

feat: BitVec normalization rule for udiv by twoPow#6029

Merged
hargoniX merged 1 commit intoleanprover:masterfrom opencompl:simproc-udiv-two-powNov 11, 2024

Commits

Commits on Nov 11, 2024