Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
Refactor prover api #106
Refactor prover api #106
Changes from 18 commits
44e5700
3007e20
7f66d3c
5af9804
97f3c70
327c0e5
c72acb6
0d81032
5eb4d68
180a4b7
68d345d
d0cd672
4921f1b
30bd652
8dfd40d
626f08b
bc4ea3f
2cc0db4
b62281d
c280230
eca7aea
fadfb87
604ba43
51f26b4
a2da5ed
be09e86
fdb1e4f
296c9d9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing