shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

[Z3] Add GaussBvTestTest>>testInductionStep #257

Closed shingarov closed 6 months ago

shingarov commented 6 months ago

fyi @janvrany — this is the test we were talking about yesterday: for a given xlen, Gauss works no matter signed or unsigned or how many times we overflow / wrap-around. See https://github.com/shingarov/MachineArithmetic/commit/a6cd537c053e96b6db0f2629792700f1df5f4849