Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update dependency: deps/kevm_release (#773) Bump Release #486: Commit 71f5011 pushed by rv-jenkins
August 14, 2024 14:02 17s master
master
August 14, 2024 14:02 17s
deps/z3: Set Version 4.13.0 (#772) Bump Release #485: Commit a4771b6 pushed by anvacaru
August 14, 2024 07:57 17s master
master
August 14, 2024 07:57 17s
Fix/rework release tagging (#750) Bump Release #484: Commit c7cd7af pushed by rv-jenkins
August 13, 2024 21:02 17s master
master
August 13, 2024 21:02 17s
Update dependency: deps/kevm_release (#771) Bump Release #483: Commit e7a41a6 pushed by rv-jenkins
August 13, 2024 19:02 37s master
master
August 13, 2024 19:02 37s
CI flakiness fix: reduce numprocesses for integration tests (#769) Bump Release #482: Commit a56c9c4 pushed by palinatolmach
August 13, 2024 14:34 32s master
master
August 13, 2024 14:34 32s
copyStorage cheatcode (#765) Bump Release #481: Commit b20d262 pushed by PetarMax
August 13, 2024 12:10 40s master
master
August 13, 2024 12:10 40s
Add --no-metadata to kontrol build, bump Foundry version in CI (#… Bump Release #480: Commit ffe99d4 pushed by palinatolmach
August 13, 2024 10:41 27s master
master
August 13, 2024 10:41 27s
Update dependency: deps/kevm_release (#768) Bump Release #479: Commit f0aa0d6 pushed by palinatolmach
August 13, 2024 03:59 30s master
master
August 13, 2024 03:59 30s
bringing back kore-rpc-command (#767) Bump Release #478: Commit 06da0ec pushed by rv-jenkins
August 12, 2024 13:05 28s master
master
August 12, 2024 13:05 28s
Update dependency: deps/kevm_release (#766) Bump Release #477: Commit f2240d0 pushed by PetarMax
August 10, 2024 23:02 28s master
master
August 10, 2024 23:02 28s
Stabilising produced EVM code (#426) Bump Release #476: Commit 47b4dba pushed by palinatolmach
August 10, 2024 18:46 24s master
master
August 10, 2024 18:46 24s
fix: requires instead of require for kontrol init lemmas.k (#764) Bump Release #475: Commit 6550af4 pushed by palinatolmach
August 10, 2024 16:05 27s master
master
August 10, 2024 16:05 27s
Add proof cleaning capabilities to kontrol clean (#755) Bump Release #474: Commit ce1febd pushed by palinatolmach
August 9, 2024 13:34 27s master
master
August 9, 2024 13:34 27s
Update dependency: deps/kevm_release (#762) Bump Release #473: Commit a270c76 pushed by rv-jenkins
August 9, 2024 09:25 25s master
master
August 9, 2024 09:25 25s
Add require "foundry.md" to kontrol init generated lemmas file (#… Bump Release #472: Commit b78077e pushed by rv-jenkins
August 9, 2024 07:02 40s master
master
August 9, 2024 07:02 40s
support for assume-defined flag (#758) Bump Release #471: Commit 7ca595c pushed by ehildenb
August 8, 2024 21:27 33s master
master
August 8, 2024 21:27 33s