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
454 workflow runs
454 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor sender function (#2488) Bump Version and Start Release Job #750: Commit 2414708 pushed by rv-jenkins
June 18, 2024 13:41 23s master
master
June 18, 2024 13:41 23s
Update dependency: deps/k_release (#2489) Bump Version and Start Release Job #749: Commit c444e23 pushed by anvacaru
June 18, 2024 12:03 22m 1s master
master
June 18, 2024 12:03 22m 1s
HOTFIX: Point kevm-pyk to the renamed kframework package in nix (#2487) Bump Version and Start Release Job #748: Commit e77b546 pushed by goodlyrottenapple
June 18, 2024 08:58 21m 40s master
master
June 18, 2024 08:58 21m 40s
Update dependency: deps/k_release (#2486) Bump Version and Start Release Job #747: Commit daa78da pushed by rv-jenkins
June 15, 2024 17:41 19m 53s master
master
June 15, 2024 17:41 19m 53s
Update dependency: deps/k_release (#2483) Bump Version and Start Release Job #746: Commit a4f9b73 pushed by rv-jenkins
June 14, 2024 23:41 22m 4s master
master
June 14, 2024 23:41 22m 4s
Run and pass remaining two functional proof suites on Booster (#2484) Bump Version and Start Release Job #745: Commit 4e90347 pushed by rv-jenkins
June 14, 2024 06:02 3m 29s master
master
June 14, 2024 06:02 3m 29s
Factor out vat arithmetic in proof-reuse for MCD (#2467) Bump Version and Start Release Job #744: Commit 50a77a3 pushed by rv-jenkins
June 13, 2024 13:03 3m 15s master
master
June 13, 2024 13:03 3m 15s
Update dependency: deps/k_release (#2481) Bump Version and Start Release Job #743: Commit 4f17064 pushed by ehildenb
June 12, 2024 18:59 20m 22s master
master
June 12, 2024 18:59 20m 22s
Improve performance of large lemmas proof suite (#2482) Bump Version and Start Release Job #742: Commit 31bd3d8 pushed by rv-jenkins
June 12, 2024 16:02 17m 51s master
master
June 12, 2024 16:02 17m 51s
Update dependency: deps/k_release (#2478) Bump Version and Start Release Job #741: Commit 71a19f1 pushed by anvacaru
June 12, 2024 06:47 21m 3s master
master
June 12, 2024 06:47 21m 3s
Pass remaining benchmarks, lemmas, and delete unused proofs (#2477) Bump Version and Start Release Job #740: Commit 70aa404 pushed by rv-jenkins
June 11, 2024 17:25 21m 22s master
master
June 11, 2024 17:25 21m 22s
Refactor opcode optimization proofs, delete useless proofs (#2474) Bump Version and Start Release Job #739: Commit d2337fe pushed by ehildenb
June 11, 2024 13:42 26m 27s master
master
June 11, 2024 13:42 26m 27s
Have <jumpDests> as Bytes instead of Set (#2471) Bump Version and Start Release Job #738: Commit d7a5d40 pushed by rv-jenkins
June 11, 2024 11:41 17m 45s master
master
June 11, 2024 11:41 17m 45s
Update dependency: deps/k_release (#2473) Bump Version and Start Release Job #737: Commit b34710b pushed by anvacaru
June 11, 2024 05:21 20m 24s master
master
June 11, 2024 05:21 20m 24s
Add option to use booster-dev binary for execution of proofs (#2466) Bump Version and Start Release Job #736: Commit 908b61b pushed by rv-jenkins
June 7, 2024 21:24 18m 33s master
master
June 7, 2024 21:24 18m 33s
Update dependency: deps/k_release (#2470) Bump Version and Start Release Job #735: Commit 5aa3b7b pushed by rv-jenkins
June 7, 2024 04:41 18m 37s master
master
June 7, 2024 04:41 18m 37s
Update dependency: deps/k_release (#2468) Bump Version and Start Release Job #734: Commit f0684a5 pushed by ehildenb
June 6, 2024 20:22 20m 3s master
master
June 6, 2024 20:22 20m 3s
Cleanups to specifications to enable modularity, re-provability (#2451) Bump Version and Start Release Job #733: Commit 20a2924 pushed by rv-jenkins
June 6, 2024 17:02 25m 42s master
master
June 6, 2024 17:02 25m 42s
Replace klabel(_) and symbol attrs with symbol(_) (#2464) Bump Version and Start Release Job #732: Commit a9e0183 pushed by rv-jenkins
June 6, 2024 11:41 19m 27s master
master
June 6, 2024 11:41 19m 27s
Update dependency: deps/k_release (#2465) Bump Version and Start Release Job #731: Commit 574de9f pushed by rv-jenkins
June 5, 2024 19:02 19m 26s master
master
June 5, 2024 19:02 19m 26s
Update dependency: deps/k_release (#2461) Bump Version and Start Release Job #730: Commit af074c9 pushed by rv-jenkins
June 5, 2024 00:31 23m 42s master
master
June 5, 2024 00:31 23m 42s
Eliminate complex KLabels from Python code (#2463) Bump Version and Start Release Job #729: Commit 3094eee pushed by anvacaru
June 4, 2024 14:24 27m 57s master
master
June 4, 2024 14:24 27m 57s
Avoid PUSH data when computing jumpdests (#2460) Bump Version and Start Release Job #728: Commit dc7fb85 pushed by rv-jenkins
June 4, 2024 12:02 22m 12s master
master
June 4, 2024 12:02 22m 12s
Change formula for #sizeOfDynamicType(#array) (#2455) Bump Version and Start Release Job #727: Commit 80b6e07 pushed by rv-jenkins
June 4, 2024 10:01 21m 3s master
master
June 4, 2024 10:01 21m 3s
remove default values from argparse (#2453) Bump Version and Start Release Job #726: Commit efeb85f pushed by rv-jenkins
June 3, 2024 13:25 12m 50s master
master
June 3, 2024 13:25 12m 50s