[Z3] Improve signed/unsigned operations (division etc) in BitVector - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

[Z3] Improve signed/unsigned operations (division etc) in BitVector #247

Closed shingarov closed 6 months ago

shingarov commented 6 months ago

...and some other assorted improvements to BitVectors.