Skip to content

Actions: verifereum/vyper-hol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update gitignore Vyper-HOL Theories Build #31: Commit a4731a7 pushed by charles-cooper
13m 29s update-gitignore
update-gitignore
13m 29s
Integrate jsonAST pipeline into vyperTestLib (Phases 4-5) Vyper-HOL Theories Build #30: Commit 1806f0d pushed by charles-cooper
13m 22s intermediate-json-ast
intermediate-json-ast
13m 22s
wip / checkpoint Vyper-HOL Theories Build #29: Commit ef9430d pushed by charles-cooper
13m 40s simplify_cfg
simplify_cfg
13m 40s
Document verified FRONT=[] base cases in block equiv theorems Vyper-HOL Theories Build #28: Commit 244f3c5 pushed by charles-cooper
13m 34s revert-to-assert
revert-to-assert
13m 34s
remove local file Vyper-HOL Theories Build #27: Commit b971b8b pushed by charles-cooper
13m 33s make_ssa
make_ssa
13m 33s
Address PR review comments for branch optimization pass Vyper-HOL Theories Build #26: Commit e686258 pushed by charles-cooper
13m 20s branch-opt
branch-opt
13m 20s
Add Halt/Revert/Error lemmas for transform_block Vyper-HOL Theories Build #25: Commit 18975cf pushed by charles-cooper
13m 5s assign-elim
assign-elim
13m 5s
WIP: SCCP correctness proofs - abs_step_inst_sound complete Vyper-HOL Theories Build #24: Commit 8c32df9 pushed by charles-cooper
13m 24s sccp
sccp
13m 24s
Fix proof performance in branchOptCorrect Vyper-HOL Theories Build #23: Commit c6ddfe9 pushed by charles-cooper
5m 12s branch-opt
branch-opt
5m 12s
Add guidance about time/timeout commands in CLAUDE.md Vyper-HOL Theories Build #22: Commit 2e0a268 pushed by charles-cooper
5m 59s main
main
5m 59s
Add branch optimization pass for Venom IR Vyper-HOL Theories Build #21: Commit 775090a pushed by charles-cooper
5m 19s branch-opt
branch-opt
5m 19s
Improve CLAUDE.md with workflow guidance Vyper-HOL Theories Build #20: Commit 448ae25 pushed by charles-cooper
5m 22s main
main
5m 22s
Add completion standard to CLAUDE.md Vyper-HOL Theories Build #19: Commit f301cb3 pushed by charles-cooper
5m 21s main
main
5m 21s
Add critical tool usage instructions to CLAUDE.md Vyper-HOL Theories Build #18: Commit f471a01 pushed by charles-cooper
5m 18s main
main
5m 18s
Add documentation for step_inst_operand_invariant proof strategy Vyper-HOL Theories Build #17: Commit 0c4c4fc pushed by charles-cooper
5m 13s assign-elim
assign-elim
5m 13s
Simplify step_inst_result_ssa_equiv proof to cheat with strategy docs Vyper-HOL Theories Build #16: Commit 5171a49 pushed by charles-cooper
5m 21s make_ssa
make_ssa
5m 21s
Strengthen step_inst_operand_invariant with LENGTH condition Vyper-HOL Theories Build #15: Commit aecde0f pushed by charles-cooper
5m 22s assign-elim
assign-elim
5m 22s
Prove run_block_data_equiv_no_phi helper lemma Vyper-HOL Theories Build #14: Commit 37f0ff2 pushed by charles-cooper
5m 25s simplify_cfg
simplify_cfg
5m 25s
Merge branch 'main' into assign-elim Vyper-HOL Theories Build #13: Commit 0af73b6 pushed by charles-cooper
5m 27s assign-elim
assign-elim
5m 27s
WIP: SSA construction block-level proofs Vyper-HOL Theories Build #12: Commit 4deea42 pushed by charles-cooper
5m 19s make_ssa
make_ssa
5m 19s
add stuff to gitignore Vyper-HOL Theories Build #11: Commit 74cafff pushed by charles-cooper
5m 18s main
main
5m 18s
Add revert_to_assert pass with cheated proofs Vyper-HOL Theories Build #10: Commit bc51c83 pushed by charles-cooper
5m 19s revert-to-assert
revert-to-assert
5m 19s
update to agents.md Vyper-HOL Theories Build #9: Commit cba213f pushed by charles-cooper
5m 25s main
main
5m 25s
Simplify CI Vyper-HOL Theories Build #8: Commit 9f4b333 pushed by xrchz
32m 15s main
main
32m 15s
Simplify CI Vyper-HOL Theories Build #7: Commit e1b55ea pushed by xrchz
5m 27s add-github-ci
add-github-ci
5m 27s