feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq#15
Closed
tobiasgrosser wants to merge 37 commits intomasterfrom bitvec_udiv_umod_basics
+5,482-745
Commits
Commits on Aug 10, 2024
- authored
Commits on Aug 11, 2024
Commits on Aug 12, 2024
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- committed
- authored
- authored
- authored
- authored
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Aug 13, 2024
- authored
- authored
- authored
- authored
- authored
- committed
