Skip to content

CC engine: redundant sparse checks (sparse, sparseov, sparsemrv) and XOR unit propagation (GH-181, opt-in; do not merge before PI says merge) - #203

Merged
guluchen merged 12 commits into
mainfrom
experiment/gh-181-cc-sparse-rows
Oct 30, 2026
Merged

guluchen merged 12 commits into
mainfrom
experiment/gh-181-cc-sparse-rows

Merge main (30ce62ab: GH-162, GH-183, GH-206 merges) into GH-181

10fa542
Select commit
Loading
Failed to load commit list.