fix: add new `BrilligFunctionUnsatisfiedConstrain` resolution error variant#5403

Closed

anaPerezGhiglia wants to merge 4 commits intonoir-lang:masterfrom

manastech:fix/debugger-brillig-assertion-fail

Commits on Jul 3, 2024

fix: add new `BrilligFunctionUnsatisfiedConstrain` resolution error variant (#6)
anaPerezGhiglia
committed

Commits on Jul 8, 2024

Merge branch 'master' into fix/debugger-brillig-assertion-fail
anaPerezGhiglia
committed
Return solver ownership in all Error situations
anaPerezGhiglia
committed

Commits on Jul 16, 2024

Merge branch 'master' into fix/debugger-brillig-assertion-fail
anaPerezGhiglia
committed