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

Improvements to errors from mock prover #480

Merged

matthiasgoergens merged 2 commits into scroll-tech:master from zemse:mock-prover

Oct 28, 2024

Collaborator

zemse commented Oct 28, 2024

Prevent duplicate display of WitIn values
For complex expressions used in require_equal it causes the inference of left and right to fail. Doing to_monomial_form before the subtraction in require_equal fixes this issue.

zemse added 2 commits

October 28, 2024 11:31


          prevent duplicate WitIn

a9cea57


          improve parsing of require_equal errors in mock prover

2f1f129

zemse requested review from hero78119 and matthiasgoergens

October 28, 2024 08:28

matthiasgoergens approved these changes

View reviewed changes

matthiasgoergens merged commit d0ab3af into scroll-tech:master

6 checks passed

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

Labels

None yet