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

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

a02bc4d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar