Skip to content

feat(FineGrained): export counting-sparsification prefix bounds, runtime-context stepWith, and declared-N wrapper - #1321

Merged
SamuelSchlesinger merged 30 commits into
mainfrom
feat/counting-declared-wrapper-1226-jetski
Oct 27, 2026
Merged

SamuelSchlesinger merged 30 commits into
mainfrom
feat/counting-declared-wrapper-1226-jetski

Merge actual main into approved counting wrapper (#1321)

53dcb86
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 27, 2026 in 3s