MrChico
MrChico
recently, a couple of memory intensive tests started failing on ci with error message: ``` Return50000_d0g1v0_Istanbul hevm: internal error: Unable to commit 1048576 bytes of memory ``` although the error...
Every arithmetic expression in an act `Behaviour` is a true integer expression, and can therefore never overflow or underflow. This makes it easier to express and prove interesting, higher level...
When specifying the behaviour of functions that involves a loop, it is sometimes hard to express the post-state on a closed form. A real life example is [Pot.rpow](https://github.com/makerdao/dss/blob/master/src/pot.sol#L81), which calculates...
In many cases, we want specifications to be expressed in terms of the various containers present in the source language. Such containers include at least the following: - Arrays -...
A common occurrence in smart contracts are calls to contracts with unknown code, whether for executing a simple eth payment, proxy/multisig actions or delegating control for a flash loan. Such...
WARNING: merging will break backwards compatibility with solc < 0.6.
This is a place for discussing https://github.com/ethereum/EIPs/pull/2612, which proposes an additional method `permit` for making approvals by way of signed messages rather than direct transactions
For more effective fetching of blockchain data
to make everything faster, less stress on the network, and to make my infura account happier