Skip to content

Actions: verifereum/vyper-hol

Actions

Vyper-HOL Theories Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove duplicate/alias theorems from revertAssertPropsScript Vyper-HOL Theories Build #56: Commit c3e2456 pushed by charles-cooper
5m 26s main
main
5m 26s
Remove duplicate/alias theorems from revertAssertPropsScript Vyper-HOL Theories Build #55: Pull request #28 synchronize by charles-cooper
5m 23s rta-cleanup
rta-cleanup
5m 23s
Merge branch 'main' into rta-cleanup Vyper-HOL Theories Build #54: Commit 18a7445 pushed by charles-cooper
5m 21s rta-cleanup
rta-cleanup
5m 21s
Merge pull request #29 from verifereum/agent-md-updates Vyper-HOL Theories Build #53: Commit 1695942 pushed by charles-cooper
5m 18s main
main
5m 18s
Simplify AGENTS.md by delegating HOL tool docs to /hol skill Vyper-HOL Theories Build #52: Pull request #29 synchronize by charles-cooper
5m 24s agent-md-updates
agent-md-updates
5m 24s
Update AGENTS.md to reference /hol4 skills Vyper-HOL Theories Build #51: Commit d54e460 pushed by charles-cooper
5m 29s agent-md-updates
agent-md-updates
5m 29s
Simplify AGENTS.md by delegating HOL tool docs to /hol skill Vyper-HOL Theories Build #50: Pull request #29 opened by charles-cooper
5m 26s agent-md-updates
agent-md-updates
5m 26s
Simplify AGENTS.md by delegating HOL tool docs to /hol skill Vyper-HOL Theories Build #49: Commit da32a20 pushed by charles-cooper
5m 56s agent-md-updates
agent-md-updates
5m 56s
Remove duplicate/alias theorems from revertAssertPropsScript Vyper-HOL Theories Build #48: Pull request #28 opened by charles-cooper
5m 23s rta-cleanup
rta-cleanup
5m 23s
Remove duplicate/alias theorems from revertAssertPropsScript Vyper-HOL Theories Build #47: Commit 25882b6 pushed by charles-cooper
5m 18s rta-cleanup
rta-cleanup
5m 18s
Move common theories to venom/ for shared use across passes Vyper-HOL Theories Build #46: Commit bb6ce57 pushed by xrchz
6m 39s main
main
6m 39s
Move common theories to venom/ for shared use across passes Vyper-HOL Theories Build #45: Pull request #27 opened by charles-cooper
5m 19s rta-common
rta-common
5m 19s
Move common theories to venom/ for shared use across passes Vyper-HOL Theories Build #44: Commit c44767c pushed by charles-cooper
5m 20s rta-common
rta-common
5m 20s
add plan (claude generated) Vyper-HOL Theories Build #43: Commit 222c5bf pushed by xrchz
5m 21s main
main
5m 21s
feat: prove revert_to_assert (take 2) Vyper-HOL Theories Build #42: Pull request #26 opened by charles-cooper
5m 14s revert-to-assert2
revert-to-assert2
5m 14s
add plan (claude generated) Vyper-HOL Theories Build #41: Commit 706aa52 pushed by charles-cooper
5m 18s revert-to-assert2
revert-to-assert2
5m 18s
update trigger Vyper-HOL Theories Build #40: Commit 93bb01b pushed by xrchz
13m 27s main
main
13m 27s
Add ASSERT_UNREACHABLE and environment opcode semantics Vyper-HOL Theories Build #39: Pull request #24 synchronize by charles-cooper
13m 29s assert-unreachable-semantics
assert-unreachable-semantics
13m 29s
update trigger Vyper-HOL Theories Build #38: Commit 345a2b7 pushed by charles-cooper
13m 35s assert-unreachable-semantics
assert-unreachable-semantics
13m 35s
WIP: Fix JSON decoder issues for Vyper test export Vyper-HOL Theories Build #37: Commit 33fd19a pushed by charles-cooper
13m 29s intermediate-json-ast
intermediate-json-ast
13m 29s
Add write_memory_with_expansion helper and refactor Vyper-HOL Theories Build #36: Commit 8166de4 pushed by charles-cooper
5m 15s assert-unreachable-semantics
assert-unreachable-semantics
5m 15s
Add ASSERT_UNREACHABLE and environment opcode semantics Vyper-HOL Theories Build #35: Commit ba3f4fe pushed by charles-cooper
5m 17s assert-unreachable-semantics
assert-unreachable-semantics
5m 17s
Restructure transform_block_correct proof to use transform_block_exec… Vyper-HOL Theories Build #34: Commit a7b8c07 pushed by charles-cooper
15m 19s branch-opt
branch-opt
15m 19s
Fix batch mode proofs for SSA block correctness Vyper-HOL Theories Build #33: Commit 8774561 pushed by charles-cooper
5m 15s make_ssa
make_ssa
5m 15s
Merge pull request #23 from verifereum/update-gitignore Vyper-HOL Theories Build #32: Commit 2f1dd58 pushed by charles-cooper
14m 0s main
main
14m 0s