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
Proof Refactoring #671
Proof Refactoring #671
Changes from 93 commits
60055de
a30dbb1
d72b396
62f36a9
c5a3332
76a50a2
2c4dc82
a87a7c0
224148a
0cd9943
c9454fe
c3557f2
94a263c
05c0479
87eb079
3f177bc
276e2b5
d17f6f0
1604cae
6f4c56b
f2110d5
eea7867
2032d1f
54d3723
b4501bd
b37babc
9080e3b
eb2b75c
87b555a
0aaec9c
f62a22f
2c18645
2bbf6a2
92aeb31
6f6212a
646c763
d48c12e
982513e
a7c5404
177732a
ed90216
50509a4
ffa4bff
aa874c3
66b37b6
5a53242
38d3fd1
6f0885e
c943d41
c9b4873
d1c4f2c
26b3c0d
a67f538
a1f6fff
6d4caa8
098a0b3
7b35f9c
806e1ff
38790be
18f2a4f
f43013b
a5e34d2
d3528af
65dc64b
00854ba
be8f228
bbace90
05361c4
c6c3409
6ac7e5e
be80620
1083d51
766c9b2
7c30132
e56112c
260f8f7
42e75cd
c866311
c42ea25
4355d7b
f5d630e
9ddd293
a77894b
ccca8fe
1e57a53
122fb1c
2b4fdb3
053cbaa
9007b66
a2c4c3b
591e8a7
32bd4b9
9d7a9aa
6679c7b
044eca1
b03ad22
5f48c28
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing