Skip to content

Actions: Posita-lang/Ponent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 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
refactor(parser): decompose the 7000-line parser mega-file into a mod… CI #185: Commit de96885 pushed by 0xA672
2m 14s main
main
2m 14s
commit bcce1b7395e524532de3d5503a771c7d0ee0592d CI #184: Commit b429e42 pushed by 0xA672
2m 10s main
main
2m 10s
fix(octagon, sat): corner-domain coherence repair, volatile normal fo… CI #183: Commit bcce1b7 pushed by 0xA672
2m 24s main
main
2m 24s
fix(types): binder scope escape guards, variance shadowing, and kappa… CI #182: Commit 7085827 pushed by 0xA672
2m 28s main
main
2m 28s
refactor(types): decompose the 8000-line types.rs mega-file into a mo… CI #181: Commit 88e35f3 pushed by 0xA672
2m 24s main
main
2m 24s
fix(infer): fail-closed S-Inst-Copy, ancestor-guarded S-Exists-Lower,… CI #180: Commit d70579a pushed by 0xA672
2m 25s main
main
2m 25s
feat(octagon, bii, loop_ir): precise fixpoint semantics, integer-tigh… CI #179: Commit 6e26770 pushed by 0xA672
2m 24s main
main
2m 24s
fix(octagon): overflow-safe transfers, sentinel-correct projections, … CI #178: Commit e32f065 pushed by 0xA672
15m 53s main
main
15m 53s
feat(bii, checker): template levels, bounds pruning, property strengt… CI #177: Commit 639f951 pushed by 0xA672
11m 22s main
main
11m 22s
docs(bii): remove stale design doc cross-references CI #176: Commit 14979e4 pushed by 0xA672
15m 26s main
main
15m 26s
fix(bii): value-preserving BV comparisons — exact mixed rows, ϕ₃ exit… CI #175: Commit 255a1e5 pushed by 0xA672
15m 0s main
main
15m 0s
fix(octagon): unconditional assign-add diagonal reset — repair the δ … CI #174: Commit 02d1bc7 pushed by 0xA672
15m 5s main
main
15m 5s
refactor(hir): clean up your messy borrows and add basic type hints, … CI #173: Commit 0be845e pushed by 0xA672
15m 25s main
main
15m 25s
fix(types): enforce variance preconditions on Yoneda reduction; drop … CI #172: Commit 6bbd26e pushed by 0xA672
15m 31s main
main
15m 31s
feat(ast, hir, bii, cfg): arena AST, 5000-line BII synthesis, and th… CI #171: Commit 5c79455 pushed by 0xA672
16m 19s main
main
16m 19s
hehe~ u thought this was just a bugfix? ☆ BIG BRAIN UPDATE INCOMING ☆ CI #170: Commit 1d583d4 pushed by 0xA672
16m 15s main
main
16m 15s
feat(parser, ast): implement const generics and <<=/>>= operators CI #169: Commit 9568023 pushed by 0xA672
1m 35s main
main
1m 35s
refactor(traits, solver): replace hash-only canonical cache with stru… CI #168: Commit 09b8ae3 pushed by 0xA672
16m 2s main
main
16m 2s
wip(solver, types): TAIT skeleton + canonical cache scaffolding, senp… CI #167: Commit 33018c4 pushed by 0xA672
1m 13s main
main
1m 13s
fix(solver): retry deferred goals when new inference vars appear~ ( •… CI #166: Commit e8a046e pushed by 0xA672
1m 10s main
main
1m 10s
fix(infer): snapshot rollback now undoes pool mutations and resolutio… CI #165: Commit 35133b0 pushed by 0xA672
1m 6s main
main
1m 6s
fix(infer, smt, types): undo resolutions, SMT type-type, dead symbol_… CI #164: Commit 7b12ca3 pushed by 0xA672
1m 7s main
main
1m 7s
fix(cfg, comptime): handle SAT Unknown and clean cur_slot after while… CI #163: Commit 5d6410a pushed by 0xA672
16m 40s main
main
16m 40s
fix(comptime, sat, checker): slot‑based pointers, step counting, and … CI #162: Commit 63de4a8 pushed by 0xA672
1m 20s main
main
1m 20s
feat(cfg, comptime, target, layout, diagnostics): @cfg, strict mode, … CI #161: Commit 6b98c5c pushed by 0xA672
15m 40s main
main
15m 40s