zerosnacks
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