Simulations for environment instructions #14
Description
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