Simulations for memory instructions #17
Description
Write simulations for the memory instructions in https://github.com/ethereum/execution-specs/blob/master/src/ethereum/paris/vm/instructions/memory.py This might require to axiomatize a few dependencies.
- mstore
- mstore8
- mload
- msize