Repository navigation
feat(FineGrained): export counting-sparsification prefix bounds, runtime-context stepWith, and declared-N wrapper - #1321
Merged
SamuelSchlesinger merged 30 commits intoOct 27, 2026
Commits
Commits on Oct 27, 2026
- committed
- committed
Anton Kovsharov - committed
- committed
- committedAnton Kovsharov
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'feat/three-occurrence-reduction-1226-jetski' into feat/counting-tree-bound-1226-jetski
committed- committed
- committed
- committed
- committed
- committed
feat(FineGrained): export prefix bounds, runtime-context stepWith, and declared-N searchDeclaredWith
committed- committed
- committed
- committed
