Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move helpers in utils file (#803) Bump Release #511: Commit 117dd10 pushed by anvacaru
September 2, 2024 10:06 16s master
master
September 2, 2024 10:06 16s
Add --schedule to kontrol prove (#801) Bump Release #510: Commit 9655bcc pushed by palinatolmach
August 31, 2024 14:56 12s master
master
August 31, 2024 14:56 12s
Update dependency: deps/kevm_release (#802) Bump Release #509: Commit ea78607 pushed by palinatolmach
August 30, 2024 13:53 14s master
master
August 30, 2024 13:53 14s
Option to emit summaries as rules instead of claims (#793) Bump Release #508: Commit 31fd6f0 pushed by ehildenb
August 29, 2024 21:21 13s master
master
August 29, 2024 21:21 13s
Update dependency: deps/kevm_release (#799) Bump Release #507: Commit 75b7e0e pushed by rv-jenkins
August 29, 2024 14:02 20s master
master
August 29, 2024 14:02 20s
Append _{i} to tuple[](tuple, ...) components when flattening (#796) Bump Release #506: Commit 24538ff pushed by anvacaru
August 29, 2024 08:29 18s master
master
August 29, 2024 08:29 18s
Update dependency: deps/kevm_release (#797) Bump Release #505: Commit b441ad9 pushed by rv-jenkins
August 28, 2024 22:01 17s master
master
August 28, 2024 22:01 17s
Add funding.json for OP Retro verification (#795) Bump Release #504: Commit 9043d62 pushed by rv-jenkins
August 28, 2024 17:02 18s master
master
August 28, 2024 17:02 18s
Update dependency: deps/kevm_release (#794) Bump Release #503: Commit 1858907 pushed by rv-jenkins
August 28, 2024 09:25 22s master
master
August 28, 2024 09:25 22s
solc_to_k.py: fix iterating over dict (#792) Bump Release #502: Commit b1e1371 pushed by palinatolmach
August 27, 2024 18:25 19s master
master
August 27, 2024 18:25 19s
Update dependency: deps/kevm_release (#791) Bump Release #501: Commit 039259d pushed by palinatolmach
August 27, 2024 06:38 15s master
master
August 27, 2024 06:38 15s
Update dependency: deps/kevm_release (#790) Bump Release #500: Commit 4ebaf40 pushed by rv-jenkins
August 26, 2024 15:25 22s master
master
August 26, 2024 15:25 22s
Update dependency: deps/kevm_release (#789) Bump Release #499: Commit beacbb2 pushed by palinatolmach
August 25, 2024 11:25 15s master
master
August 25, 2024 11:25 15s
Update dependency: deps/kevm_release (#788) Bump Release #498: Commit c0c36d0 pushed by rv-jenkins
August 24, 2024 15:24 15s master
master
August 24, 2024 15:24 15s
Revising init/pyproject file to show correct Major version on master … Bump Release #497: Commit bcc91af pushed by rv-jenkins
August 23, 2024 20:01 21s master
master
August 23, 2024 20:01 21s
Version bump to 1.0.0 (#786) Bump Release #496: Commit 08f7543 pushed by rv-jenkins
August 23, 2024 16:02 15s master
master
August 23, 2024 16:02 15s
Update dependency: deps/kevm_release (#781) Bump Release #495: Commit f686306 pushed by PetarMax
August 23, 2024 14:39 17s master
master
August 23, 2024 14:39 17s
Fix permissions on keccak.md (#785) Bump Release #494: Commit 8024ea8 pushed by anvacaru
August 23, 2024 11:45 14s master
master
August 23, 2024 11:45 14s
Include keccak & aux lemmas conditionally (#779) Bump Release #493: Commit 501727c pushed by palinatolmach
August 22, 2024 15:48 17s master
master
August 22, 2024 15:48 17s
workflow tweaks (#784) Bump Release #492: Commit 545dad9 pushed by rv-jenkins
August 22, 2024 14:25 14s master
master
August 22, 2024 14:25 14s
Workflow: Update test expected output (#783) Bump Release #491: Commit 18bf504 pushed by anvacaru
August 21, 2024 17:53 18s master
master
August 21, 2024 17:53 18s
Update dependency: deps/kevm_release (#777) Bump Release #490: Commit bda5906 pushed by anvacaru
August 19, 2024 09:39 20s master
master
August 19, 2024 09:39 20s
Display command options on --debug (#778) Bump Release #489: Commit a91dadd pushed by rv-jenkins
August 16, 2024 12:49 15s master
master
August 16, 2024 12:49 15s
Update dependency: deps/kevm_release (#775) Bump Release #488: Commit 4f24571 pushed by PetarMax
August 15, 2024 14:09 15s master
master
August 15, 2024 14:09 15s
Add new Kontrol CLI args (#774) Bump Release #487: Commit 4ba6756 pushed by rv-jenkins
August 14, 2024 16:28 14s master
master
August 14, 2024 16:28 14s