New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: closes #293 and enables recursive hints solving #294

Merged

gbotrel merged 2 commits into develop from fix/recursivehhints

Mar 25, 2022

Collaborator

gbotrel commented Mar 25, 2022

test: add failing test for bug: recursive hints not supported by R1CS solver #293
fix: closes bug: recursive hints not supported by R1CS solver #293 and enables recursive hints solving

gbotrel added 2 commits

March 24, 2022 20:50


          test: add failing test for #293

dcdda54


          fix: closes #293 and enables recursive hints solving

44c6a3a

gbotrel requested a review from ivokub

March 25, 2022 02:20

ivokub approved these changes

View reviewed changes

Collaborator

ivokub left a comment

Looks perfect. Also resolves my problem in feat/nonnative-ff.

gbotrel merged commit 394c987 into develop

gbotrel deleted the fix/recursivehhints branch

March 25, 2022 14:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet