Tags: runtimeverification/evm-semantics
Tags
Update dependency: deps/k_release (#2783) * deps/k_release: Set Version 7.1.275 * kevm-pyk/: sync poetry files pyk version 7.1.275 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.276 * kevm-pyk/: sync poetry files pyk version 7.1.276 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
Update dependency: deps/k_release (#2781) * deps/k_release: Set Version 7.1.274 * kevm-pyk/: sync poetry files pyk version 7.1.274 * flake.{nix,lock}: update Nix derivations * Update `types-python-dateutil` version in the patch * kevm-pyk/: sync poetry files pyk version 7.1.274 --------- Co-authored-by: devops <[email protected]> Co-authored-by: palinatolmach <[email protected]>
EIP 7702 Implement SetCode transactions (#2755) * define SetCode transaction * parse SetCode tx from JSON fixture files * recover authority from message data * add docstrings * process delegated authority in #call rules * compute gas costs * update expected output in unit tests * refactor delegation processing in driver.md * load previous blob gas values for latest RLP encoded values * Tweak nonce validation in SetCode tx * pad sig values to 32 bytes during recoverAuthority * readability tweaks * refactor addAuthority rules
EIP-7002 EIP-7251 - Implement Withdrawal and Consolidation request ty… …pes (#2762) * refactor requests root generation * update expected output * replace Bytes2Int with #asWord wrapper * update execution-spec-tests/failing.llvm * update execution-spec-tests/failing.llvm * implement system calls to withdrawal and consolidation contracts * update execution-spec-tests/failing.llvm * update failing.llvm * Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/requests.md Co-authored-by: Palina <[email protected]> * fix typo * Remove commented code --------- Co-authored-by: Palina <[email protected]>
chore: fix typos across codebase (#2770) * Update flake.nix * Update summarizer.py * Update test_prove.py * Update ERC721.sol * Update README.md * Update 201710-presentation-devcon3.md --------- Co-authored-by: Andrei Văcaru <[email protected]>
PreviousNext