zerosnacks

Results 386 comments of zerosnacks

@legion2002 I don't believe this is an issue for `tempo-std`, I think it is reasonable to bump the minimum version to `0.8.24`. If the Rust implementation & written spec uses...

Updated the title to reflect the outcome of the discussion, curious @grandizzy if you see ways this could be relevant to simplify setting up of invariants as the boilerplate involved...

I think this ties into: https://github.com/foundry-rs/forge-std/issues/764

Hi @sdajklfw389 thanks for raising this, I am able to reproduce the issue and I'll look for a workaround

For additional context: `int256(1) - int256(2)` (or `int256(1) - 2)`) in Chisel does correctly yield `-1`. This seems to be related to `1` and `2` being cast to `uint256` by...

Please format with nightly, see CI failure