-
Notifications
You must be signed in to change notification settings - Fork 13
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
change CairoInput to ProverInput #280
Conversation
This stack of pull requests is managed by Graphite. Learn more about stacking. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I hate that name very much, please explain the reason
Reviewable status: 0 of 7 files reviewed, all discussions resolved (waiting on @yuvalsw)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
wrote suggestions in #274
Reviewable status: 0 of 7 files reviewed, all discussions resolved (waiting on @yuvalsw)
52446a3
to
4114266
Compare
e9fca54
to
8dbcdfe
Compare
4114266
to
32415d4
Compare
8dbcdfe
to
cb7e484
Compare
32415d4
to
5bba2e8
Compare
cb7e484
to
c215a0c
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewed 1 of 7 files at r1, 6 of 6 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Stavbe)
5bba2e8
to
3379f9a
Compare
c215a0c
to
cced16a
Compare
3379f9a
to
8da963a
Compare
0eb548f
to
1adbbe8
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
DONE
Reviewable status: 0 of 7 files reviewed, all discussions resolved (waiting on @yuvalsw)
8da963a
to
aaabc3a
Compare
1adbbe8
to
2031223
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit: Please fix the commit message (commit --amend) and the title of the PR (through github)
Reviewed 7 of 7 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Stavbe)
aaabc3a
to
fe6bbc3
Compare
2031223
to
1679bcb
Compare
fe6bbc3
to
33560e3
Compare
1679bcb
to
ec69490
Compare
33560e3
to
a59c3fd
Compare
36881d4
to
10beba0
Compare
6a88131
to
7d87500
Compare
7d87500
to
8d8521f
Compare
10beba0
to
778bb22
Compare
8d8521f
to
f73a690
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewed 3 of 3 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Stavbe)
f73a690
to
721b8e2
Compare
721b8e2
to
06e712a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewable status: all files reviewed (commit messages unreviewed), all discussions resolved (waiting on @Stavbe)
This change is