Fix `MLoad` step and implement `eval` for `Require` and `Create`

acuarica / evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

https://acuarica.github.io/evm/

MIT License

46 stars 5 forks source link

Fix `MLoad` step and implement `eval` for `Require` and `Create` #71

Closed acuarica closed 5 months ago