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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run prover tests on fast CI machines (#2108) Bump Version and Start Release Job #455: Commit 9a3ccc4 pushed by rv-jenkins
October 7, 2023 18:25 20m 15s master
master
October 7, 2023 18:25 20m 15s
Support for init bytecode (#2096) Bump Version and Start Release Job #454: Commit c937df7 pushed by rv-jenkins
October 6, 2023 19:02 29m 41s master
master
October 6, 2023 19:02 29m 41s
.github/workflows: use z3-images repository for prebuilt z3 images (#… Bump Version and Start Release Job #453: Commit 26b3b3c pushed by rv-jenkins
October 5, 2023 19:02 26m 13s master
master
October 5, 2023 19:02 26m 13s
Add setGas cheatcode (#2101) Bump Version and Start Release Job #452: Commit c0e85ad pushed by rv-jenkins
October 3, 2023 14:02 25m 9s master
master
October 3, 2023 14:02 25m 9s
Upstream lemmas from Wormhole engagement (#1866) Bump Version and Start Release Job #451: Commit b1de680 pushed by PetarMax
October 3, 2023 10:36 24m 41s master
master
October 3, 2023 10:36 24m 41s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2100) Bump Version and Start Release Job #450: Commit 7c27cbe pushed by rv-jenkins
October 2, 2023 10:42 24m 33s master
master
October 2, 2023 10:42 24m 33s
Small build updates for LLVM backend, timing updates (#2098) Bump Version and Start Release Job #449: Commit 7976a0a pushed by rv-jenkins
September 29, 2023 22:42 21m 5s master
master
September 29, 2023 22:42 21m 5s
Add CI step to update dependents (#2091) Bump Version and Start Release Job #448: Commit 9529af5 pushed by rv-jenkins
September 27, 2023 15:02 31m 26s master
master
September 27, 2023 15:02 31m 26s
Update dependency: deps/pyk_release (#2087) Bump Version and Start Release Job #447: Commit 63006fa pushed by rv-jenkins
September 26, 2023 06:26 29m 0s master
master
September 26, 2023 06:26 29m 0s
Utilize dependency claims when discharging KClaim style proofs (#1926) Bump Version and Start Release Job #446: Commit 8f9b006 pushed by rv-jenkins
September 25, 2023 21:42 28m 46s master
master
September 25, 2023 21:42 28m 46s
Update dependency: deps/pyk_release (#2081) Bump Version and Start Release Job #445: Commit 85d786e pushed by rv-jenkins
September 23, 2023 15:42 26m 10s master
master
September 23, 2023 15:42 26m 10s
Cleanup failing lists, enable more failing tests (#2067) Bump Version and Start Release Job #444: Commit 4323bd5 pushed by rv-jenkins
September 22, 2023 21:42 27m 44s master
master
September 22, 2023 21:42 27m 44s
Don't use booster in the update-foundry-prove action (#2036) Bump Version and Start Release Job #443: Commit 135d5e7 pushed by rv-jenkins
September 22, 2023 16:02 26m 33s master
master
September 22, 2023 16:02 26m 33s
Rename --id to --version in the error message (#2083) Bump Version and Start Release Job #442: Commit 65ba298 pushed by rv-jenkins
September 21, 2023 15:02 44m 35s master
master
September 21, 2023 15:02 44m 35s
Simplify testing, make failing lists explicit (#2082) Bump Version and Start Release Job #441: Commit 8f4a32a pushed by ehildenb
September 21, 2023 04:36 30m 49s master
master
September 21, 2023 04:36 30m 49s
Remove some runlemma => donelemma style claims (#2080) Bump Version and Start Release Job #440: Commit 4085431 pushed by ehildenb
September 20, 2023 23:48 27m 48s master
master
September 20, 2023 23:48 27m 48s
Improved digest and proof version handling (#2064) Bump Version and Start Release Job #439: Commit 776867c pushed by rv-jenkins
September 20, 2023 18:02 40m 53s master
master
September 20, 2023 18:02 40m 53s
Update dependency: deps/pyk_release (#2062) Bump Version and Start Release Job #438: Commit a9231d4 pushed by rv-jenkins
September 20, 2023 09:42 28m 50s master
master
September 20, 2023 09:42 28m 50s
Rename kontrol module and command to kontrolx (#2078) Bump Version and Start Release Job #437: Commit 051c16c pushed by rv-jenkins
September 19, 2023 21:02 30m 52s master
master
September 19, 2023 21:02 30m 52s
Use an llvm backend library in exec_prove with --use-booster (#2069) Bump Version and Start Release Job #436: Commit f431756 pushed by rv-jenkins
September 19, 2023 17:24 26m 50s master
master
September 19, 2023 17:24 26m 50s
Remove jobs for building Debian package and Docker image (#2076) Bump Version and Start Release Job #435: Commit c5fb216 pushed by rv-jenkins
September 19, 2023 14:25 28m 36s master
master
September 19, 2023 14:25 28m 36s
Replace Makefile based build by kevm-dist command (#2068) Bump Version and Start Release Job #434: Commit 75583c1 pushed by tothtamas28
September 18, 2023 15:34 24m 18s master
master
September 18, 2023 15:34 24m 18s
Fixes to ABI type handling on signed integers (#2071) Bump Version and Start Release Job #433: Commit d35e82c pushed by rv-jenkins
September 17, 2023 01:29 30m 1s master
master
September 17, 2023 01:29 30m 1s
Shanghai Schedule Update (#1907) Bump Version and Start Release Job #432: Commit 4fad7d9 pushed by rv-jenkins
September 13, 2023 08:42 24m 41s master
master
September 13, 2023 08:42 24m 41s
fix inconsistent use of the '_:_WS' klabel (#2057) Bump Version and Start Release Job #431: Commit 86adf32 pushed by rv-jenkins
September 12, 2023 20:02 28m 45s master
master
September 12, 2023 20:02 28m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.