Commit 2d415ca
feat(ssa): Expand feature set of the Brillig constraint check (#7060)
Co-authored-by: Michael J Klein <michaeljklein@users.noreply.github.com>
Co-authored-by: rkarabut <ratmir@aztecprotocol.com>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>1 parent 39af02f commit 2d415ca
3 files changed
Lines changed: 779 additions & 410 deletions
File tree
- compiler/noirc_evaluator/src/ssa/checks
- test_programs/compile_success_no_bug/check_unconstrained_regression/src
0 commit comments