Skip to content

refactor(stark): derive constraint metadata from the single eval body#772

Merged
MauroToscano merged 3 commits into
feat/single-source-constraints-switchfrom
feat/derive-constraint-meta
Jul 3, 2026
Merged

refactor(stark): derive constraint metadata from the single eval body#772
MauroToscano merged 3 commits into
feat/single-source-constraints-switchfrom
feat/derive-constraint-meta

perf(stark): inline the emit forwarding onto the per-row hot path

dd9cf57
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar