Ssprove backend base #349
Merged
Ssprove backend base #349
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
cmester0
force-pushed
the
ssprove_backend_base
branch
3 times, most recently
from
68cbadc to
8e96990
Compare
cmester0
force-pushed
the
ssprove_backend_analysis
branch
2 times, most recently
from
18c4f7e to
c9114ce
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
8e96990 to
9061313
Compare
cmester0
changed the base branch from
ssprove_backend_analysis
to
remove_is_record_phase
cmester0
force-pushed
the
ssprove_backend_base
branch
3 times, most recently
from
9f10965 to
5456ca0
Compare
cmester0
force-pushed
the
remove_is_record_phase
branch
from
adb97b6 to
4b2756e
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
3 times, most recently
from
d681c06 to
6f0ace2
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
2 times, most recently
from
c28b37f to
96a032d
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
2 times, most recently
from
e739820 to
014fb25
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
014fb25 to
2f14e68
Compare
cmester0
force-pushed
the
remove_is_record_phase
branch
from
f0ecbc7 to
ddfa7df
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
2f14e68 to
6402911
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
b67281f to
d040bac
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
2 times, most recently
from
90dbaec to
0d012bd
Compare
|
This should be ready for merging. @W95Psp |
W95Psp
reviewed
Jan 23, 2024
cmester0
force-pushed
the
ssprove_backend_base
branch
from
313bf1a to
626c31a
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
37da6da to
b12e083
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
4b6d87b to
5c33d72
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
4 times, most recently
from
e591a73 to
8f2ed2a
Compare
cmester0
force-pushed
the
ssprove_backend_base
branch
from
aa85904 to
11a0551
Compare
|
@W95Psp we should get this in, we can always do follow up PRs for testing and generalization. |
cmester0
force-pushed
the
ssprove_backend_base
branch
from
12b0b4f to
b91aef5
Compare
W95Psp
approved these changes
Feb 22, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
The SSProve backend, waiting on #348,
#357and #362