Multiplication, division and remainder operations for `BitVecValue`
Open
- Dominant language
- Rust
- Stars
- 9
- Forks
- 2
- Avg merge
- 2h 43m
- Merged PRs (30d)
- 1
Description
Currently `baa` offers `BitVecValue::mul` for multiplication, but if I'm not mistaken it is limited to double word length. No division nor remainder operations are provided.
I need those operations (I'm rewriting [Spade](https://spade-lang.org/)'s const evaluator to make use of `baa`) and I'd rather avoid a round-trip through `BigInt`/`BigUint` and the 3 potential allocations it would entail if possible.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.