feat: overlapping match patterns in `grind`#6733

Merged

leodemoura merged 6 commits intomasterfrom grind_match_fixes

Jan 21, 2025

Commits on Jan 21, 2025

feat: add MatchCond gadget

Leonardo de Moura
authored and
leodemoura
committed
chore: checkpoint

Leonardo de Moura
authored and
leodemoura
committed
feat: internalize MatchCond gadget

Leonardo de Moura
authored and
leodemoura
committed
feat: add isSatisfied for Grind.MatchCond gadget
leodemoura
committed
feat: proof construction for propagating MatchCond gadget used in grind
leodemoura
committed
test: add test for MatchCond propagation
leodemoura
committed