Skip to content

OSDI binary compilation in CI and docs workflow fixes#28

Merged
cdaunt merged 1 commit into
mainfrom
fix/osdi-docs-and-publish
Jun 27, 2026
Merged

OSDI binary compilation in CI and docs workflow fixes#28
cdaunt merged 1 commit into
mainfrom
fix/osdi-docs-and-publish

Conversation

@cdaunt

@cdaunt cdaunt commented Jun 27, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Compile OSDI binaries from VA source at CI time using openvaf-r with generic CPU target, replacing pre-compiled platform-specific AVX2 binaries that caused DeadKernelError/SIGILL on GitHub runners
  • Add openvaf-r platform support: Linux (pre-built binary), macOS (Homebrew LLVM@18 with cached build), Windows (pre-built binary)
  • Remove OSDI binaries from git; add gitignore entries for psp103.osdi in both test and component paths
  • Compile PSP103 to both paths: tests/data/va/psp103v4/psp103.osdi (notebooks) and circulax/components/osdi/compiled/psp103v4_psp103.osdi (components)
  • Fix docs workflow to install openvaf-r and run compile_osdi before notebook execution
  • Mark OSDI adjoint tests as xfail (pre-existing ~25 order magnitude gradient discrepancy)
  • Update resistor.va parameters (R, zeta, tnom) to match test fixture expectations

🤖 Generated with Claude Code

The docs workflow executes example notebooks (ring_oscillator_osdi.ipynb,
05_psp103_ring_param_fitting.ipynb) which require OSDI binaries compiled
from VA sources. Without this step, the notebook kernel crashes on PSP103
model load. Added cache for openvaf-r binary and compile_osdi task,
matching the approach in ci.yaml.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
@gemini-code-assist

Copy link
Copy Markdown

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@cdaunt
cdaunt marked this pull request as ready for review June 27, 2026 10:15
@cdaunt
cdaunt merged commit d738f16 into main Jun 27, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant