Skip to content

Actions: hyperpolymath/affinescript

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
608 workflow runs
608 workflow runs

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
feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) Mirror to Git Forges #558: Commit 19bb2e0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(release): restore release binaries — immutable-release draft flow… Mirror to Git Forges #557: Commit b8ba479 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Mirror to Git Forges #556: Commit 5a42e6e pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Mirror to Git Forges #555: Commit 41dfce9 pushed by hyperpolymath
-1s main
main
-1s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Mirror to Git Forges #554: Commit 1eaff91 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Mirror to Git Forges #553: Commit f005a74 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Mirror to Git Forges #552: Commit 55ae8bb pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Mirror to Git Forges #551: Commit 8859206 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Mirror to Git Forges #550: Commit 874e36c pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Mirror to Git Forges #549: Commit f020a6f pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Mirror to Git Forges #548: Commit 381ca17 pushed by hyperpolymath
Startup failure main
main
Startup failure
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Mirror to Git Forges #547: Commit 65c2ae3 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(guix): substitute leftover template placeholders; fix licence c… Mirror to Git Forges #546: Commit 13c02ba pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): grow P-2 to the STLC with functions + the substitution … Mirror to Git Forges #545: Commit 12618eb pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… Mirror to Git Forges #544: Commit dd6c19e pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… Mirror to Git Forges #543: Commit 16a849a pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… Mirror to Git Forges #542: Commit 769d6ff pushed by hyperpolymath
Startup failure main
main
Startup failure
Update SOUNDNESS.adoc Mirror to Git Forges #541: Commit f28f525 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: make soundness status a single, test-anchored source of truth (… Mirror to Git Forges #540: Commit e6c155f pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… Mirror to Git Forges #539: Commit bfa312b pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… Mirror to Git Forges #538: Commit ac6e574 pushed by hyperpolymath
Startup failure main
main
Startup failure
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Mirror to Git Forges #537: Commit 85e3f0d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619) Mirror to Git Forges #536: Commit 88a0cf0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (… Mirror to Git Forges #535: Commit 33a4bfb pushed by hyperpolymath
Startup failure main
main
Startup failure
Feat/solo core metatheory proofs (#614) Mirror to Git Forges #534: Commit 39299c3 pushed by hyperpolymath
Startup failure main
main
Startup failure