Skip to content

Actions: runtimeverification/zkvm-merkle-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Horner evaluation PoC [WIP]: Hax + CompPoly end-to-end verification pipeline CI #35: Pull request #5 opened by klausnat
1m 17s horner-hax-compoly
horner-hax-compoly
1m 17s
hax_compoly_horner_evaluation_PoC CI #34: Commit 62edd20 pushed by klausnat
1m 5s horner-hax-compoly
horner-hax-compoly
1m 5s
Horner evaluation PoC [WIP]: Hax + CompPoly end-to-end verification pipeline CI #33: Pull request #4 opened by klausnat
1m 13s lean-compoly-clean
lean-compoly-clean
1m 13s
Horner Hax-CompPoly Poc CI #32: Commit 7877556 pushed by klausnat
1m 9s lean-compoly-clean
lean-compoly-clean
1m 9s
Horner evaluation PoC [WIP]: Hax + CompPoly end-to-end verification pipeline CI #31: Pull request #3 opened by klausnat
1m 11s lean-compoly
lean-compoly
1m 11s
Horner Hax-CompPoly Poc CI #30: Commit 2fcb0e5 pushed by klausnat
1m 11s lean-compoly
lean-compoly
1m 11s
representative zkVM-related code with two proofs (#2) CI #29: Commit 27274ff pushed by klausnat
1m 32s main
main
1m 32s
representative zkVM-related code with two proofs CI #28: Pull request #2 synchronize by klausnat
1m 16s initial_proofs
initial_proofs
1m 16s
fixed CI #27: Commit f90d9f0 pushed by klausnat
1m 16s initial_proofs
initial_proofs
1m 16s
representative zkVM-related code with two proofs CI #26: Pull request #2 synchronize by klausnat
1m 9s initial_proofs
initial_proofs
1m 9s
remove some comments CI #25: Commit ce4d84e pushed by klausnat
1m 23s initial_proofs
initial_proofs
1m 23s
representative zkVM-related code with two proofs CI #24: Pull request #2 synchronize by klausnat
1m 14s initial_proofs
initial_proofs
1m 14s
wip CI #23: Commit 5af5f28 pushed by klausnat
1m 20s initial_proofs
initial_proofs
1m 20s
representative zkVM-related code with two proofs CI #22: Pull request #2 synchronize by klausnat
1m 11s initial_proofs
initial_proofs
1m 11s
proofs finished, .md file corrected, MerklePatch.lean file improved CI #21: Commit 4e00f77 pushed by klausnat
1m 22s initial_proofs
initial_proofs
1m 22s
representative zkVM-related code with two proofs CI #20: Pull request #2 synchronize by klausnat
1m 4s initial_proofs
initial_proofs
1m 4s
fix verification.md file markdown CI #19: Commit 93ae28a pushed by klausnat
1m 7s initial_proofs
initial_proofs
1m 7s
representative zkVM-related code with two proofs CI #18: Pull request #2 opened by klausnat
1m 9s initial_proofs
initial_proofs
1m 9s
VERIFICATION.md file with explanation + wip for proofs CI #17: Commit 4d06ff6 pushed by klausnat
1m 11s initial_proofs
initial_proofs
1m 11s
add rust nightly for hax, allow lean to fail - wip CI #16: Pull request #1 synchronize by klausnat
3m 38s fix_ci
fix_ci
3m 38s
wip CI #15: Commit ff2491b pushed by klausnat
3m 24s fix_ci
fix_ci
3m 24s
add rust nightly for hax, allow lean to fail - wip CI #14: Pull request #1 synchronize by klausnat
3m 25s fix_ci
fix_ci
3m 25s
wip CI #13: Commit a112a00 pushed by klausnat
3m 33s fix_ci
fix_ci
3m 33s
add rust nightly for hax, allow lean to fail - wip CI #12: Pull request #1 synchronize by klausnat
3m 28s fix_ci
fix_ci
3m 28s
wip CI #11: Commit c05b543 pushed by klausnat
3m 34s fix_ci
fix_ci
3m 34s