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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove evm-int-simplifications.k module (#2255) Bump Version and Start Release Job #557: Commit ba3f1ab pushed by PetarMax
January 15, 2024 09:19 22m 14s master
master
January 15, 2024 09:19 22m 14s
Update dependency: deps/pyk_release (#2254) Bump Version and Start Release Job #556: Commit 5a026c7 pushed by rv-jenkins
January 12, 2024 05:41 20m 20s master
master
January 12, 2024 05:41 20m 20s
Generalising bitwise simplifications (#2251) Bump Version and Start Release Job #555: Commit 1c48ff2 pushed by rv-jenkins
January 11, 2024 23:02 21m 45s master
master
January 11, 2024 23:02 21m 45s
Avoid generating cell-fragments during execution (#2253) Bump Version and Start Release Job #554: Commit dca9426 pushed by rv-jenkins
January 11, 2024 09:24 24m 5s master
master
January 11, 2024 09:24 24m 5s
Add accounts invariants (#2249) Bump Version and Start Release Job #553: Commit 3cb310e pushed by rv-jenkins
January 11, 2024 06:03 20m 12s master
master
January 11, 2024 06:03 20m 12s
Update dependency: deps/pyk_release (#2236) Bump Version and Start Release Job #552: Commit 7fa1444 pushed by ehildenb
January 10, 2024 22:58 18m 0s master
master
January 10, 2024 22:58 18m 0s
Moving #accessAccounts and #accessStorage logic out of gas-relate… Bump Version and Start Release Job #551: Commit 5ab7520 pushed by rv-jenkins
January 10, 2024 11:02 21m 38s master
master
January 10, 2024 11:02 21m 38s
Add option for breaking on basic blocks (#2246) Bump Version and Start Release Job #550: Commit 8614b6f pushed by rv-jenkins
January 10, 2024 07:22 19m 42s master
master
January 10, 2024 07:22 19m 42s
Semantics specific options for controlling execution (#2242) Bump Version and Start Release Job #549: Commit ffe2e7c pushed by rv-jenkins
January 9, 2024 16:10 21m 7s master
master
January 9, 2024 16:10 21m 7s
Lemmas on Boolean reasoning, set reasoning, map lookup (#2037) Bump Version and Start Release Job #548: Commit cd2e87a pushed by PetarMax
December 22, 2023 19:20 21m 19s master
master
December 22, 2023 19:20 21m 19s
Update dependency: deps/pyk_release (#2235) Bump Version and Start Release Job #547: Commit b70fd06 pushed by rv-jenkins
December 22, 2023 08:02 21m 20s master
master
December 22, 2023 08:02 21m 20s
Update dependency: deps/pyk_release (#2234) Bump Version and Start Release Job #546: Commit 2382ef6 pushed by rv-jenkins
December 21, 2023 13:41 25m 17s master
master
December 21, 2023 13:41 25m 17s
Adopt changes from PR 2225 - chore(kevm-pyk/src): typo fix (#2230) Bump Version and Start Release Job #545: Commit ddd8a32 pushed by rv-jenkins
December 21, 2023 09:02 27m 29s master
master
December 21, 2023 09:02 27m 29s
Update dependency: deps/pyk_release (#2233) Bump Version and Start Release Job #544: Commit 9a489fb pushed by rv-jenkins
December 21, 2023 06:42 25m 12s master
master
December 21, 2023 06:42 25m 12s
Update dependency: deps/pyk_release (#2232) Bump Version and Start Release Job #543: Commit bf5f388 pushed by rv-jenkins
December 20, 2023 23:02 27m 44s master
master
December 20, 2023 23:02 27m 44s
Update dependency: deps/pyk_release (#2231) Bump Version and Start Release Job #542: Commit a55fdfe pushed by rv-jenkins
December 20, 2023 18:42 20m 38s master
master
December 20, 2023 18:42 20m 38s
Preserve definedness in more cases (#2226) Bump Version and Start Release Job #541: Commit 576b3cd pushed by rv-jenkins
December 19, 2023 22:02 22m 8s master
master
December 19, 2023 22:02 22m 8s
Add no-gas mode to kevm (#2207) Bump Version and Start Release Job #540: Commit b50a246 pushed by PetarMax
December 19, 2023 20:21 18m 38s master
master
December 19, 2023 20:21 18m 38s
Update dependency: deps/pyk_release (#2224) Bump Version and Start Release Job #539: Commit 34e0352 pushed by rv-jenkins
December 19, 2023 16:42 24m 13s master
master
December 19, 2023 16:42 24m 13s
Update dependency: deps/pyk_release (#2223) Bump Version and Start Release Job #538: Commit 1349ef9 pushed by rv-jenkins
December 15, 2023 17:25 20m 28s master
master
December 15, 2023 17:25 20m 28s
Update dependency: deps/pyk_release (#2222) Bump Version and Start Release Job #537: Commit 4c75e21 pushed by rv-jenkins
December 15, 2023 12:02 21m 22s master
master
December 15, 2023 12:02 21m 22s
Update dependency: deps/pyk_release (#2221) Bump Version and Start Release Job #536: Commit a6b79c9 pushed by rv-jenkins
December 14, 2023 14:25 5m 21s master
master
December 14, 2023 14:25 5m 21s
Update dependency: deps/pyk_release (#2220) Bump Version and Start Release Job #535: Commit f74bb95 pushed by rv-jenkins
December 14, 2023 04:41 19m 19s master
master
December 14, 2023 04:41 19m 19s
Update dependency: deps/pyk_release (#2218) Bump Version and Start Release Job #534: Commit b031099 pushed by rv-jenkins
December 12, 2023 11:22 19m 9s master
master
December 12, 2023 11:22 19m 9s
Fix counterexample_info not passed to APRProver() (#2217) Bump Version and Start Release Job #533: Commit 97ba540 pushed by rv-jenkins
December 12, 2023 09:03 21m 28s master
master
December 12, 2023 09:03 21m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.