Simulations for environment instructions
clarus opened this issue · comments
Write simulations for the instructions in https://github.com/ethereum/execution-specs/blob/master/src/ethereum/paris/vm/instructions/environment.py These simulations have a lot of dependencies that we will axiomatize in this task if needed (make an axiom of the right signature but without the body of the definition that can be left for another task).
- address
- balance
- origin
- caller
- callvalue
- calldataload
- calldatasize
- calldatacopy
- codesize
- codecopy
- gasprice
- extcodesize
- extcodecopy
- returndatasize
- returndatacopy
- extcodehash
- self_balance
- base_fee