feat: add BitVec.(msb, getMsbD)_(rotateLeft, rotateRight)#6120
Merged
kim-em merged 14 commits intoleanprover:masterfrom opencompl:bitveg-getmsbd-rotateNov 19, 2024
+103-3
Commits
Commits on Nov 11, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 13, 2024
- committed
- committed
