Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rerun claims when the claim body or those of dependent claims changes #2099

Merged
merged 24 commits into from
Oct 31, 2023
Merged

Rerun claims when the claim body or those of dependent claims changes #2099

merged 24 commits into from
Oct 31, 2023

Commits on Sep 30, 2023

  1. Rerun claims based on digest, computed from claim body + dependent cl… 

    …aims
    @nwatson22
    nwatson22 committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    14f2ff4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Sep 30, 2023
    Configuration menu
    Copy the full SHA
    c0a6147 View commit details
    Browse the repository at this point in the history

  3. Set Version: 1.0.309

    devops committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    382420d View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Make KClaimJob a frozen class and cache digest

    @nwatson22
    nwatson22 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    b1c5c74 View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.310

    devops committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    f64639e View commit details
    Browse the repository at this point in the history

  3. Change to using frozenset

    @nwatson22
    nwatson22 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    f7c9df1 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'noah/claims-invalidate' of https://github.com/runtimeve… 

    …rification/evm-semantics into noah/claims-invalidate
    @nwatson22
    nwatson22 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    8b228ce View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Raise exception when label is not found

    @nwatson22
    nwatson22 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    fb6cc81 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 3, 2023
    Configuration menu
    Copy the full SHA
    89f2c06 View commit details
    Browse the repository at this point in the history

  3. Set Version: 1.0.310

    devops committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    6392d20 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    569160c View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.312

    devops committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    7446c6a View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 7, 2023
    Configuration menu
    Copy the full SHA
    f8362ba View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.314

    devops committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    80fd6b8 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    d1ffb8b View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.329

    devops committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    f4ba050 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Update kevm-pyk/src/kevm_pyk/__main__.py 

    Co-authored-by: Andrei Văcaru <[email protected]>
    @nwatson22 @anvacaru
    nwatson22 and anvacaru authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    4c5bb31 View commit details
    Browse the repository at this point in the history

  2. Fix formatting

    @nwatson22
    nwatson22 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    d007502 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into noah/claims-invalidate

    @rv-jenkins
    rv-jenkins authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    0a1af44 View commit details
    Browse the repository at this point in the history

  4. Set Version: 1.0.330

    devops committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    faff6b4 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    97991a1 View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.331

    devops committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0703fe2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into noah/claims-invalidate

    @nwatson22
    nwatson22 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    c610bb2 View commit details
    Browse the repository at this point in the history

  4. Set Version: 1.0.332

    devops committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    dded76e View commit details
    Browse the repository at this point in the history