Skip to content

Actions: dancinlab/hexa-lang

Actions

codegen-bootstrap-sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codegen-bootstrap-sync.yml
104 workflow runs
104 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(codegen): proof-carrying inline of lambda_eliashberg — verified … codegen-bootstrap-sync #104: Commit 21f4996 pushed by dancinlife
9s unshadow-B-proof-carrying
unshadow-B-proof-carrying
9s
fix(.c-graduation): restore final3 seeds — .c 0→3 (hexa_cc.c real-rel… codegen-bootstrap-sync #103: Commit 24e9a2a pushed by dancinlife
11s dotc-restore-final3
dotc-restore-final3
11s
feat(codegen)+docs(unshadow): unboxed-prim-array axis A — perf closed… codegen-bootstrap-sync #102: Commit 3b1e5a1 pushed by dancinlife
10s unshadow-unboxed-prim-array
unshadow-unboxed-prim-array
10s
feat(.c-graduation): untrack ALL 23 C seeds — tracked .c → 0 (full .h… codegen-bootstrap-sync #101: Commit 6918618 pushed by dancinlife
9s dotc-zero
dotc-zero
9s
feat(codegen): inline hexa_int integer-literal box at call site — UNS… codegen-bootstrap-sync #100: Commit 76cd193 pushed by dancinlife
10s unshadow-2-crosslayer-inline-pilot
unshadow-2-crosslayer-inline-pilot
10s
docs(unshadow): C tag-elision verdict — correctness PROVEN · perf CLO… codegen-bootstrap-sync #99: Commit a190dfe pushed by dancinlife
12s unshadow-C-tag-elision
unshadow-C-tag-elision
12s
feat(codegen): UNSHADOW C-class — proof-carrying array bounds-check e… codegen-bootstrap-sync #98: Commit a27afba pushed by dancinlife
10s unshadow-c-class-bounds-elision
unshadow-c-class-bounds-elision
10s
feat(codegen): atlas-guided const-fold pilot — verified verdict → dir… codegen-bootstrap-sync #97: Commit b5965ea pushed by dancinlife
9s unshadow-4-atlas-const-fold
unshadow-4-atlas-const-fold
9s
merge stacking-doc codegen-bootstrap-sync #96: Commit bcebc64 pushed by dancinlife
12s unshadow-round1-land
unshadow-round1-land
12s
feat(builtin): path_exists 추가 + file_exists fopen→S_ISREG 백엔드 통일 (#2160) codegen-bootstrap-sync #95: Commit a5c5c68 pushed by dancinlife
14s main
main
14s
feat(builtin): path_exists 추가 + file_exists fopen→S_ISREG 백엔드 통일 codegen-bootstrap-sync #94: Pull request #2160 opened by dancinlife
11s feat/path-exists
feat/path-exists
11s
feat(builtin): path_exists 추가 + file_exists fopen→S_ISREG 백엔드 통일 codegen-bootstrap-sync #93: Commit f9fa09f pushed by dancinlife
12s feat/path-exists
feat/path-exists
12s
feat(codegen)+docs(unshadow): unboxed-prim-array axis A — perf closed… codegen-bootstrap-sync #92: Commit c1e7faa pushed by dancinlife
11s main
main
11s
feat(codegen): unboxed-prim-array axis A — perf closed-negative (gap=storage, not tag-guard) codegen-bootstrap-sync #91: Pull request #2152 opened by dancinlife
14s unshadow-unboxed-prim-array
unshadow-unboxed-prim-array
14s
feat(codegen)+docs(unshadow): unboxed-prim-array axis A — perf closed… codegen-bootstrap-sync #90: Commit 3b1e5a1 pushed by dancinlife
14s unshadow-unboxed-prim-array
unshadow-unboxed-prim-array
14s
feat(codegen): UNSHADOW C-class — proof-carrying array bounds-check e… codegen-bootstrap-sync #89: Commit 6962c15 pushed by dancinlife
11s main
main
11s
feat(codegen): UNSHADOW C-class — proof-carrying bounds elision (3.25×) codegen-bootstrap-sync #88: Pull request #2143 opened by dancinlife
12s unshadow-c-class-bounds-elision
unshadow-c-class-bounds-elision
12s
feat(codegen): UNSHADOW C-class — proof-carrying array bounds-check e… codegen-bootstrap-sync #87: Commit a27afba pushed by dancinlife
11s unshadow-c-class-bounds-elision
unshadow-c-class-bounds-elision
11s
feat(unshadow): round1 land — HexaVal 언박싱(11.3×)·same-TU(opt-in)·적층원칙… codegen-bootstrap-sync #86: Commit 6d7931a pushed by dancinlife
14s main
main
14s
feat(unshadow): round1 land — HexaVal 언박싱(11.3×)·same-TU(opt-in)·적층원칙 문서 codegen-bootstrap-sync #85: Pull request #2135 opened by dancinlife
11s unshadow-round1-land
unshadow-round1-land
11s
merge stacking-doc codegen-bootstrap-sync #84: Commit bcebc64 pushed by dancinlife
11s unshadow-round1-land
unshadow-round1-land
11s
feat(codegen): unbox known-int BinOp result — inline HexaVal literal,… codegen-bootstrap-sync #83: Commit ce7c12d pushed by dancinlife
14s unshadow-hexaval-unbox-pilot
unshadow-hexaval-unbox-pilot
14s
docs+codegen(unshadow): C tag-check elision — correctness PROVEN · pe… codegen-bootstrap-sync #82: Commit 849c865 pushed by dancinlife
13s main
main
13s
docs+codegen(unshadow): C tag-check elision — correctness PROVEN · perf CLOSED-NEGATIVE codegen-bootstrap-sync #81: Pull request #2094 opened by dancinlife
11s unshadow-C-tag-elision
unshadow-C-tag-elision
11s
Merge remote-tracking branch 'origin/main' into HEAD codegen-bootstrap-sync #80: Commit 6f4507f pushed by dancinlife
19s unshadow-C-tag-elision
unshadow-C-tag-elision
19s