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
Oracles #1584
Oracles #1584
Changes from all commits
e3f6b03
3564d73
971d64a
687345a
3a87e3f
ffb4b42
8ed9200
4e7d9b2
efcde83
dd341b5
2322c1a
473c097
587b779
06d281c
c101958
0354c1a
384a043
c32e6a4
653181c
3a98905
b439b94
4a5bc1a
fae1dc6
a970ed0
76d2214
614480a
e62827f
d75268a
1398277
503411e
f2c4d23
d54023a
2d593f6
79d3d67
d2af0f2
9520f99
04d4578
d9c032b
ed35d53
e7e492d
5503a98
85a161b
8016d47
a1a75ff
44f29db
7d7d123
36b14d9
7e5b390
9dcbe33
223f357
ebf9170
b16126d
0192ab0
e6e6fbc
cd554df
6f7e400
f1d8a1f
803cf40
bc396e0
286ecd9
4c13628
c445371
c4bed04
7c85d18
5c2ccdb
1de9d21
e82eb78
233a298
2497bd2
0a2b5b3
9b4529a
53f8f2b
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing