Skip to content

fix(solver): preserve incremental queries, theory lemmas and bit widths - #563

Merged
sjkim1127 merged 2 commits into
mainfrom
codex/solver-issue-batch
Oct 19, 2026
Merged

fix(solver): preserve incremental queries, theory lemmas and bit widths#563
sjkim1127 merged 2 commits into
mainfrom
codex/solver-issue-batch

fix(solver): bound array scalarization and skip array model payloads

9f662a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar