Tiago de Paula
Tiago de Paula
Oh, I just noticed that there are no fuzz tests for `sqrt()` nor `msb()`. I'll open a PR for them, soon. As for using the old implementation as reference, I...
Ok, I'll do that. In the meantime, I was tracking this gas variance on `msb()` implementation that didn't make sense to me. Turns out solc is better at optimizing the...
I opened #265 with property-based tests, rebased this on top of that one, and added the regression tests here.
Oh, no need to hurry. Do it when you have time.
Rebased it to main and updated the reference implementation of `msb` used in tests.