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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/pyk_release (#2302) Bump Version and Start Release Job #607: Commit f425269 pushed by rv-jenkins
February 28, 2024 17:42 25m 5s master
master
February 28, 2024 17:42 25m 5s
Annotating rules that preserve definedness (#2260) Bump Version and Start Release Job #606: Commit 9ad1b52 pushed by rv-jenkins
February 28, 2024 12:02 23m 32s master
master
February 28, 2024 12:02 23m 32s
Add attribute klabel to unquoted productions (#2312) Bump Version and Start Release Job #605: Commit 377098f pushed by tothtamas28
February 23, 2024 12:11 24m 24s master
master
February 23, 2024 12:11 24m 24s
only check nonce on CREATE and CREATE2 (#2310) Bump Version and Start Release Job #604: Commit 11a4511 pushed by rv-jenkins
February 23, 2024 05:25 20m 40s master
master
February 23, 2024 05:25 20m 40s
Additional constraints for simplifications of PR #2307 (#2311) Bump Version and Start Release Job #603: Commit adfe3a0 pushed by rv-jenkins
February 22, 2024 17:02 37m 25s master
master
February 22, 2024 17:02 37m 25s
fix bug in computation of miner balance after tx if miner == sender (… Bump Version and Start Release Job #602: Commit f0a032b pushed by rv-jenkins
February 22, 2024 10:42 23m 53s master
master
February 22, 2024 10:42 23m 53s
Lemmas and tests needed for symbolic bytes manipulation (#2307) Bump Version and Start Release Job #601: Commit edbcb5e pushed by PetarMax
February 22, 2024 08:08 20m 37s master
master
February 22, 2024 08:08 20m 37s
Drop . in favour of .K (#2309) Bump Version and Start Release Job #600: Commit bdcfe1c pushed by rv-jenkins
February 21, 2024 14:02 20m 48s master
master
February 21, 2024 14:02 20m 48s
Streamlining #asWord simplifications (#2301) Bump Version and Start Release Job #599: Commit fbacafc pushed by rv-jenkins
February 20, 2024 12:45 28m 18s master
master
February 20, 2024 12:45 28m 18s
Change default fast-check-subsumption to false (#2303) Bump Version and Start Release Job #598: Commit 88c6735 pushed by rv-jenkins
February 19, 2024 17:02 20m 31s master
master
February 19, 2024 17:02 20m 31s
Update dependency: deps/pyk_release (#2300) Bump Version and Start Release Job #597: Commit 6d8b11d pushed by rv-jenkins
February 15, 2024 02:07 20m 14s master
master
February 15, 2024 02:07 20m 14s
Small cleanups/simplifications to run_prover (#2299) Bump Version and Start Release Job #596: Commit 8d25b20 pushed by rv-jenkins
February 13, 2024 21:22 21m 12s master
master
February 13, 2024 21:22 21m 12s
Update dependency: deps/pyk_release (#2298) Bump Version and Start Release Job #595: Commit c674445 pushed by rv-jenkins
February 13, 2024 17:24 23m 11s master
master
February 13, 2024 17:24 23m 11s
Update dependency: deps/pyk_release (#2297) Bump Version and Start Release Job #594: Commit d979135 pushed by rv-jenkins
February 13, 2024 12:02 22m 5s master
master
February 13, 2024 12:02 22m 5s
Update dependency: deps/pyk_release (#2296) Bump Version and Start Release Job #593: Commit 193cfed pushed by rv-jenkins
February 12, 2024 19:41 35m 14s master
master
February 12, 2024 19:41 35m 14s
Upstream specifications from Kontrol test-suite (#2244) Bump Version and Start Release Job #592: Commit 3ee4b38 pushed by rv-jenkins
February 10, 2024 18:41 21m 42s master
master
February 10, 2024 18:41 21m 42s
Update dependency: deps/pyk_release (#2293) Bump Version and Start Release Job #591: Commit 0612f68 pushed by rv-jenkins
February 9, 2024 19:42 22m 24s master
master
February 9, 2024 19:42 22m 24s
Additional lemmas for Kontrol (#2288) Bump Version and Start Release Job #590: Commit 9e88278 pushed by palinatolmach
February 9, 2024 13:30 24m 20s master
master
February 9, 2024 13:30 24m 20s
Update dependency: deps/pyk_release (#2287) Bump Version and Start Release Job #589: Commit c12a11d pushed by PetarMax
February 9, 2024 11:04 29m 5s master
master
February 9, 2024 11:04 29m 5s
Adding further lemmas for bitwise reasoning (#2270) Bump Version and Start Release Job #588: Commit 4e6b958 pushed by PetarMax
February 8, 2024 09:07 31m 56s master
master
February 8, 2024 09:07 31m 56s
Enable options for controlling booster execution (#2243) Bump Version and Start Release Job #587: Commit e2d5d20 pushed by rv-jenkins
February 7, 2024 21:22 27m 45s master
master
February 7, 2024 21:22 27m 45s
Additional arithmetic reasoning needed for symbolic bytes (#2286) Bump Version and Start Release Job #586: Commit ff65472 pushed by rv-jenkins
February 7, 2024 15:41 24m 47s master
master
February 7, 2024 15:41 24m 47s
Add targets for KLLVM bindings (#2262) Bump Version and Start Release Job #585: Commit d46ff30 pushed by rv-jenkins
February 7, 2024 10:25 31m 13s master
master
February 7, 2024 10:25 31m 13s
Update dependency: deps/pyk_release (#2285) Bump Version and Start Release Job #584: Commit 6f86c28 pushed by rv-jenkins
February 6, 2024 17:23 27m 10s master
master
February 6, 2024 17:23 27m 10s
Suppress cpp warnings by default when kompiling the llvm-backend (#2284) Bump Version and Start Release Job #583: Commit 0090dbc pushed by anvacaru
February 5, 2024 08:43 21m 39s master
master
February 5, 2024 08:43 21m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-02-05 or the other filters available.