Skip to content

fix(solver): reject non-finite input traces at the FFI boundaries#161

Merged
daharoni merged 1 commit into
mainfrom
fix/ffi-nonfinite-guard
Jul 8, 2026
Merged

fix(solver): reject non-finite input traces at the FFI boundaries#161
daharoni merged 1 commit into
mainfrom
fix/ffi-nonfinite-guard

Commits

Commits on Jul 8, 2026