Skip to content

Actions: mmchougule/split-fv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: add CI status badge to README fv #18: Commit 2948239 pushed by mmchougule
4m 17s main
main
4m 17s
ci(lean): enforce axiom footprint (no sorryAx; oracle-independence ax… fv #17: Commit 6fc66ff pushed by mmchougule
4m 20s main
main
4m 20s
settle: gate to exerciseEnd in model + Vyper reference (match deploye… fv #16: Commit 9397b2e pushed by mmchougule
3m 55s main
main
3m 55s
vyper tests on titanoboa + more coverage; tighten docs; README scope/… fv #15: Commit dfd8bbe pushed by mmchougule
4m 8s main
main
4m 8s
THEOREM_MAP: add precise scope note per theorem name fv #14: Commit e7b4968 pushed by mmchougule
4m 15s main
main
4m 15s
fix put T_OracleIndependence (real non-interference, was a tautology)… fv #13: Commit 3838018 pushed by mmchougule
4m 3s main
main
4m 3s
fix clone-from-scratch reproduce: pin vyper test deps (web3, eth-tester) fv #12: Commit 8332d15 pushed by mmchougule
4m 23s main
main
4m 23s
harden .gitignore against secret files (.env, *.key, *.pem, keypair/i… fv #11: Commit eab8dc0 pushed by mmchougule
5m 47s main
main
5m 47s
split-fv: machine-checked safety for Split's oracle-free settlement core fv #10: Commit dbeedb6 pushed by mmchougule
3m 2s main
main
3m 2s
docs: add EXPLAINER (training sheet), revised ARTICLE, ethresearch re… fv #9: Commit 8bfb150 pushed by mmchougule
27s claude/awesome-goodall-pfplcv
claude/awesome-goodall-pfplcv
27s
Halmos: update PutVault call sites to 6-arg §6 constructor (residualR… fv #8: Commit 49ea8e1 pushed by mmchougule
28s claude/awesome-goodall-pfplcv
claude/awesome-goodall-pfplcv
28s
Add scripts/print_axioms.lean (axiom audit the README/STATUS reference) fv #7: Commit 851f0b7 pushed by mmchougule
6m 8s claude/awesome-goodall-pfplcv
claude/awesome-goodall-pfplcv
6m 8s
Spotless build: silence intentional unused-binder lints; canary recei… fv #6: Commit 851c43d pushed by mmchougule
3m 16s claude/awesome-goodall-pfplcv
claude/awesome-goodall-pfplcv
3m 16s
Make repo publish-clean: reconcile status, harden oracle-independence… fv #5: Commit 4340922 pushed by mmchougule
3m 8s claude/awesome-goodall-pfplcv
claude/awesome-goodall-pfplcv
3m 8s
Public-readiness pass: reconcile docs to zero-sorry reality, scrub lo… fv #4: Commit ad2a40d pushed by mmchougule
3m 19s main
main
3m 19s
STATUS: zero sorry across call+put after T_ResidualLiveness fix fv #3: Commit 197d674 pushed by mmchougule
2m 57s main
main
2m 57s
FV: close the last sorry — T_ResidualLiveness fixed to dimensionally-… fv #2: Commit 94c2d2a pushed by mmchougule
3m 20s main
main
3m 20s
FV army pass 1: Lean rounding lemmas proved, Foundry conformance (cal… fv #1: Commit 797e593 pushed by mmchougule
8m 34s main
main
8m 34s