Skip to content
This repository was archived by the owner on Dec 30, 2025. It is now read-only.

Add JET.jl static analysis tests#9

Merged
ChrisRackauckas merged 1 commit intoSciML:mainfrom
ChrisRackauckas-Claude:static-improvements-20251230-052323
Dec 30, 2025
Merged

Add JET.jl static analysis tests#9
ChrisRackauckas merged 1 commit intoSciML:mainfrom
ChrisRackauckas-Claude:static-improvements-20251230-052323

Conversation

@ChrisRackauckas-Claude
Copy link

Summary

  • Added JET.jl as a test dependency
  • Created test/jet.jl with comprehensive static analysis tests:
    • Package-level analysis to catch type errors and method ambiguities
    • Type stability tests (@test_opt) for SquaredExponentialKernel operations
    • Tests for kernel evaluation, gradient (), and Laplacian (Δ) operators
    • Tests for both scalar and vector inputs
  • Updated test/runtests.jl to include the new JET test suite

The JET analysis confirms that FastSolvers.jl is already well-typed and type-stable. All existing code passes JET analysis without any issues. This PR adds test infrastructure to ensure type stability is maintained as the package evolves.

JET Analysis Results

Running JET analysis on the package showed:

  • ✅ No type instabilities detected
  • ✅ No unresolved method calls
  • ✅ All kernel operations return concrete types (Float64, Vector{Float64}, Matrix{Float64})

Test plan

  • All existing tests pass
  • New JET tests pass (8 tests)
  • CI checks

cc @ChrisRackauckas

🤖 Generated with Claude Code

- Add JET as test dependency
- Create test/jet.jl with comprehensive static analysis tests:
  - Package-level analysis to catch type errors
  - Type stability tests for SquaredExponentialKernel operations
  - Tests for kernel evaluation, gradient (∇), and Laplacian (Δ) operators
  - Tests for both scalar and vector inputs
- All tests pass, confirming the package is type-stable

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@ChrisRackauckas ChrisRackauckas merged commit 94d909a into SciML:main Dec 30, 2025
2 of 5 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants