Support LT-22605: Add ability to limit HermitCrab parses#452

Merged

ddaspit merged 9 commits into

Jul 17, 2026

Commits on Jul 7, 2026

Support LT-22605: Add ability to limit HermitCrab parses
jtmaxwell3
committed

Commits on Jul 8, 2026

Change RuleBatch and RuleCascade to check max alternatives
jtmaxwell3
committed

Commits on Jul 9, 2026

Commits on Jul 10, 2026

Adds check to MaxAlternatives during synthesis
jtmaxwell3
committed

Commits on Jul 16, 2026