t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue by gHashTag · Pull Request #10425 · gHashTag/t27

igla ptx: spec that writes the PTX of the ternary x int8 mma.sync GEMM kernel, with its host reference (Refs #10404)

gHashTag

and

claude

committed

422d5ce

igla ptx: comments inside fn bodies are // (Refs #10404)

gHashTag

and

claude

committed

cce2fe5

igla ptx: pin the emitted length, fix the store-offset count (Refs #10404)

gHashTag

and

claude

committed

772be75

t27c: --backend ptx and ptx-run (cuda feature) as thin glue over the t27 emitter; delete orphan math_pslq.rs to pay the budget (Refs #10404)

gHashTag

and

claude

committed

36b674b

seal: igla-coder-ternary-gemm-ptx, 21/21 tests, 0 vacuous (Refs #10404)

gHashTag

and

claude

committed

87ea11f

igla ptx: one writer call per statement, so gen-rust output borrows out once; driver: split the truncate borrow (Refs #10404)

gHashTag

and

claude

committed

bd2f632

gen + seal: igla-coder-ternary-gemm-ptx regenerated after the writer split, 21/21 (Refs #10404)

gHashTag

and

claude

committed

c9a20a0

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

gHashTag

committed

901ca61

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

gHashTag

committed

30bd99c

t27b ledger: list specs/igla/coder/ternary_gemm_ptx.t27 as pass, the one spec this PR adds (Refs #10404)

gHashTag

and

claude

committed

39095f4

Merge branch 'master' into claude/blissful-wescoff-a3c8cd

gHashTag

authored

541f3e8

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

gHashTag

committed

0f7b02a

Merge remote-tracking branch 'origin/claude/blissful-wescoff-a3c8cd' into claude/blissful-wescoff-a3c8cd

gHashTag

committed

fb93681

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

gHashTag

committed

9b93e05

t27b ledger: list the four specs/analog specs master added unlisted, with the verdicts CI measured (Refs #10404)

gHashTag

and

claude

committed

b082cc9

Navigation Menu

Repository navigation

t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue - #10425

t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue#10425
gHashTag merged 18 commits into
masterfrom
claude/blissful-wescoff-a3c8cd

Commits on Oct 18, 2026

igla ptx: spec that writes the PTX of the ternary x int8 mma.sync GEMM kernel, with its host reference (Refs #10404)

igla ptx: comments inside fn bodies are // (Refs #10404)

igla ptx: pin the emitted length, fix the store-offset count (Refs #10404)

t27c: --backend ptx and ptx-run (cuda feature) as thin glue over the t27 emitter; delete orphan math_pslq.rs to pay the budget (Refs #10404)

seal: igla-coder-ternary-gemm-ptx, 21/21 tests, 0 vacuous (Refs #10404)

igla ptx: one writer call per statement, so gen-rust output borrows out once; driver: split the truncate borrow (Refs #10404)

gen + seal: igla-coder-ternary-gemm-ptx regenerated after the writer split, 21/21 (Refs #10404)

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

t27b ledger: list specs/igla/coder/ternary_gemm_ptx.t27 as pass, the one spec this PR adds (Refs #10404)

Merge branch 'master' into claude/blissful-wescoff-a3c8cd

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

Merge remote-tracking branch 'origin/claude/blissful-wescoff-a3c8cd' into claude/blissful-wescoff-a3c8cd

Merge remote-tracking branch 'origin/master' into claude/blissful-wescoff-a3c8cd

t27b ledger: list the four specs/analog specs master added unlisted, with the verdicts CI measured (Refs #10404)

Commits on Oct 19, 2026

t27b ledger: take master 3a00c389c's ledger, plus this PR's one row for ternary_gemm_ptx.t27 (Refs #10404)

Merge commit '3a00c389cced5d6d4cf5b4fc5c2cf07d8cb52821' into claude/blissful-wescoff-a3c8cd

t27b ledger: list three specs master added unlisted, all t27b pass as CI measured (Refs #10404)