Luis Mastrangelo

Dashboard app for gtm

1

Hi guys, I found gtm an extremely valuable tool. It would be even better if it has a nice dashboard where you can see your stats. So in the last...

- [x] I've discussed with @gnidan and @haltman-at before filing this issue. --------------------------- ## Issue Some Truffle CLI commands need a network connection to perform their action. Here is a...

Currently, copy instructions, _i.e._, `CALLDATACOPY`, `CODECOPY`, `EXTCODECOPY` and `RETURNDATACOPY`, do not emit `State.stmts`. These instructions, and in particular `CODECOPY`, need to be emitted to support Yul decompilation: > For the...

When enabling type assertions in steps, _e.g._ ```ts type Top = State &{stack: {top: E}}; CREATE: [0xf0, function create(state: State): asserts state is Top { // [...] } ``` their...

Instead of always follow jump destinations (and loop unrolling) determine when to stop symbolic execution. The main issue is when `jump` destinations are in different basic blocks. That is, when...

Validate `Type`s when parsing `function` signatures as introduced in https://github.com/acuarica/evm/commit/0477a4b3d090cb44c6e3edb2425d4ce32e39caec#diff-a2a171449d862fe29692ce031981047d7ab755ae7f84c707aef80701b3ea0c80R307.

Implement Cancun fork https://github.com/ethereum/execution-specs/blob/master/network-upgrades/mainnet-upgrades/cancun.md#included-eips. Solidity `v0.8.24` already include support for the upcoming Cancun network upgrade https://soliditylang.org/blog/2024/01/26/solidity-0.8.24-release-announcement/. Implement the following EIPs to support this new fork - [ ] #91 -...

See https://eips.ethereum.org/EIPS/eip-4788.