Skip to content

Actions: runtimeverification/evm-semantics

Actions

Bump Version and Start Release Job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
79 workflow runs
79 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
kevm-pyk: thread step_timeout through run_prover (#2867) Bump Version and Start Release Job #1064: Commit dfb0be4 pushed by automergerpr-permission-manager Bot
17s master
master
17s
tests/failing-symbolic.haskell-booster-dev: drop specs now passing un… Bump Version and Start Release Job #1063: Commit 30983ea pushed by ehildenb
13s master
master
13s
Update dependency: deps/k_release (#2866) Bump Version and Start Release Job #1062: Commit d988e5d pushed by ehildenb
16s master
master
16s
Update dependency: deps/k_release (#2865) Bump Version and Start Release Job #1061: Commit c9c53eb pushed by automergerpr-permission-manager Bot
18s master
master
18s
Update dependency: deps/k_release (#2864) Bump Version and Start Release Job #1060: Commit 64b9103 pushed by ehildenb
13s master
master
13s
Remove looping asWord-eq-false lemma and expose --equation-max-local-… Bump Version and Start Release Job #1059: Commit 38893bd pushed by ehildenb
26s master
master
26s
evm-semantics/evm.md: rewrite #transferFunds same-account rule, move … Bump Version and Start Release Job #1058: Commit fb58d3b pushed by automergerpr-permission-manager Bot
14s master
master
14s
Update dependency: deps/k_release (#2861) Bump Version and Start Release Job #1057: Commit 5341453 pushed by ehildenb
14s master
master
14s
Simplification lemmas to improve Haskell booster coverage (#2859) Bump Version and Start Release Job #1056: Commit b460c09 pushed by ehildenb
18s master
master
18s
.github/workflows/release.yml: build KEVM once and populate both nix … Bump Version and Start Release Job #1055: Commit 5388c8d pushed by automergerpr-permission-manager Bot
14s master
master
14s
kevm prove + test harness: Haskell-backend logging flags, per-claim f… Bump Version and Start Release Job #1054: Commit a859c1a pushed by ehildenb
16s master
master
16s
Update dependency: deps/k_release (#2858) Bump Version and Start Release Job #1053: Commit f3c0db0 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Update dependency: deps/k_release (#2856) Bump Version and Start Release Job #1052: Commit ba97538 pushed by automergerpr-permission-manager Bot
19s master
master
19s
Haskell-backend comparison tooling, proof-running docs, and booster-d… Bump Version and Start Release Job #1051: Commit d1892e9 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Split functional lemmas-spec.k into topic spec files sharing one komp… Bump Version and Start Release Job #1050: Commit 3ff57a4 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Update dependency: deps/k_release (#2852) Bump Version and Start Release Job #1049: Commit c14f7f4 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Update dependency: deps/k_release (#2851) Bump Version and Start Release Job #1048: Commit a01351b pushed by automergerpr-permission-manager Bot
16s master
master
16s
lemmas: add bool2Word simplification for symbolic Bool expressions (#… Bump Version and Start Release Job #1047: Commit 66679e3 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Improve performance of #computeValidJumpDests (#2847) Bump Version and Start Release Job #1046: Commit bb3a2b8 pushed by automergerpr-permission-manager Bot
12s master
master
12s
Update dependency: deps/k_release (#2845) Bump Version and Start Release Job #1045: Commit 12f4df7 pushed by automergerpr-permission-manager Bot
19s master
master
19s
Update dependency: deps/k_release (#2844) Bump Version and Start Release Job #1044: Commit 28031e8 pushed by automergerpr-permission-manager Bot
20s master
master
20s
Update dependency: deps/k_release (#2843) Bump Version and Start Release Job #1043: Commit fbe8913 pushed by automergerpr-permission-manager Bot
20s master
master
20s
Update dependency: deps/k_release (#2842) Bump Version and Start Release Job #1042: Commit 28eb5de pushed by automergerpr-permission-manager Bot
14s master
master
14s
Cachix workaround & push kevm to k-framework-binary cachix (#2841) Bump Version and Start Release Job #1041: Commit 0640b39 pushed by automergerpr-permission-manager Bot
15s master
master
15s
pass node_id to custom_step (#2840) Bump Version and Start Release Job #1040: Commit f202a4d pushed by automergerpr-permission-manager Bot
13s master
master
13s