Skip to content

xpile v0.1.13 — offline PTX well-formedness gate (PMAT-481)

Choose a tag to compare

View all tags
@noahgift noahgift released this 12 Jun 08:57
· 596 commits to main since this release
v0.1.13
b20de7b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Opens §30 Track 4 (GPU Runtime-stratum lighting) — the first sprint slice.

Pure-Rust PTX well-formedness validator in xpile-ptx-codegen:

  • validate_ptx(text, compute_capability) — .version, .target matching the requested capability, .address_size 64, ≥1 .visible .entry.
  • ptx_looks_real(text) — scaffold-vs-real classifier so the gate never false-fails before the real nvptx64 emitter (PMAT-485).
  • ptxas_arch(cc) — -arch derived from compute_capability, never hard-coded.

A structural gate (no GPU, executes nothing) — not the model→emission gate (that is the on-hardware DiffExec slice PMAT-488). 6 new unit tests. cargo install xpile → 0.1.13.

🤖 Generated with Claude Code

Assets 2
Loading