feat(ssa): Expand feature set of the Brillig constraint check#7060

Open

rkarabut wants to merge 17 commits intomasterfrom rk/brillig-check-fixes

+779-410

Commits on Jan 14, 2025

Commits on Jan 22, 2025

Deal with the leftover unnecessary actions
rkarabut
committed

Commits on Jan 23, 2025

Merge branch 'master' into rk/brillig-check-fixes
rkarabut
authored
Optimize (functional code is slow in critical parts)
rkarabut
committed
Add tracking count, search limits
rkarabut
committed