Skip to content

Actions: spitters/hax-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 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
Signed width-aware runtime operations, and the width tags carry signe… CI #57: Commit 878c4e0 pushed by spitters
1m 2s master
master
1m 2s
HaxLean.Rust: the Aeneas Std fragment of cryspen/aeneas 6852e64, port… CI #56: Commit d53ce24 pushed by spitters
1m 22s master
master
1m 22s
A counted loop evaluates its upper bound only after its lower bound y… CI #55: Commit e43df71 pushed by spitters
1m 2s master
master
1m 2s
A loop bound that does not evaluate to a value ends the loop with its… CI #54: Commit a2eab71 pushed by spitters
1m 14s master
master
1m 14s
The certified emitter's header imports HaxLean.AST and HaxLean.Semant… CI #53: Commit e74e825 pushed by spitters
1m 7s master
master
1m 7s
Lean 4.33.1 deprecation: String.ofList in place of String.mk [no-golf… CI #52: Commit 7d52cff pushed by spitters
1m 34s master
master
1m 34s
README: hax upstream is cryspen/hax CI #51: Commit 305e76b pushed by spitters
22s master
master
22s
A statement-if branch carries its mutations under nested control into… CI #50: Commit 9b33a5e pushed by spitters
1m 46s master
master
1m 46s
A mutable-borrow field write threads through struct_update, with corr… CI #49: Commit 7501aad pushed by spitters
1m 49s master
master
1m 49s
A mutable-borrow call writes back, and the Ref mutability flag is a b… CI #48: Commit fbe3223 pushed by spitters
37s master
master
37s
A branch tail that is a statement survives mutation threading [no-golf] CI #47: Commit dd2f2da pushed by spitters
1m 42s master
master
1m 42s
Update README with clearer explanations CI #46: Commit 54c3eca pushed by spitters
6m 43s master
master
6m 43s
README: add a clear under-construction warning at the top CI #45: Commit a83c389 pushed by spitters
24s master
master
24s
README: restructure around the three roles, trust/limits to own files CI #44: Commit 1f39acd pushed by spitters
23s master
master
23s
README: the three roles of an extraction (with IF + prime-IR under ro… CI #43: Commit 2c47d49 pushed by spitters
26s master
master
26s
Restore the IF/CT source-secrecy recognizer (Secrecy.lean + MainT emi… CI #42: Commit bf59413 pushed by spitters
20s master
master
20s
docs: writing pass over all markdown + consolidate build steps into B… CI #41: Commit 4a8d6a6 pushed by spitters
18s master
master
18s
CHANGELOG: drop the standard-axioms note (the 3 standard axioms are t… CI #40: Commit 8050026 pushed by spitters
20s master
master
20s
CHANGELOG: 0.1.0-alpha.1 pre-release [no-golf] CI #39: Commit 0cf3b32 pushed by spitters
30s master
master
30s
CHANGELOG: mark as Unreleased (0.0.1 release retracted) [no-golf] CI #38: Commit 771f615 pushed by spitters
24s master
master
24s
Add CHANGELOG for the 0.0.1 release [no-golf] CI #37: Commit 05a033d pushed by spitters
1m 44s master
master
1m 44s
Json: add a brief README for the verified parser suite [no-golf] CI #36: Commit 74fee7b pushed by spitters
25s master
master
25s
docs: remove stale/private working notes; keep integration-architectu… CI #35: Commit 27645f7 pushed by spitters
31s master
master
31s
README: drop reference to the local backend-comparison working note [… CI #34: Commit 09c958d pushed by spitters
30s master
master
30s
RoundtripNum: drop provenance/session-trace comments (release cleanup… CI #33: Commit b5a1cfd pushed by spitters
2m 40s master
master
2m 40s