Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: runtimeverification/evm-semantics

Tags

v1.0.855

Toggle v1.0.855's commit message
Set Version: 1.0.855

release-1.0.855

Toggle release-1.0.855's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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]>

v1.0.854

Toggle v1.0.854's commit message
Set Version: 1.0.854

release-1.0.854

Toggle release-1.0.854's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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]>

v1.0.853

Toggle v1.0.853's commit message
Set Version: 1.0.853

release-1.0.853

Toggle release-1.0.853's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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

v1.0.852

Toggle v1.0.852's commit message
Set Version: 1.0.852

release-1.0.852

Toggle release-1.0.852's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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]>

v1.0.851

Toggle v1.0.851's commit message
Set Version: 1.0.851

release-1.0.851

Toggle release-1.0.851's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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]>