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
formalization of an API #2357
formalization of an API #2357
Changes from 75 commits
aa0b950
05c9126
6e98ba0
8d4e8b5
6f5016f
bac48bc
9f92799
8cb0757
aff2229
4ca7f3c
a005703
93d6ec3
fa6a234
f9eb4e3
f4fcc7d
e6afbb0
20758c8
61560a1
1d7d4a3
2e89ba1
d493476
1dc2079
28842da
31f9a29
bdaaff2
0a689c8
e422638
bd606d2
5631706
87028b3
0c85738
71ab005
0b8fd3b
7b48a89
6e929b6
5ea5168
8e758c6
963bd75
9638da3
0173e02
244b2fd
3a1b3e3
2fd9e34
30214f8
4de562d
ba8a0a0
219df3b
77ad3cf
8f9eff0
f662ba1
a328651
000178d
ab1b152
2c3421b
4bc12b0
89cafa6
75b1f37
a5fbaab
1f6273c
15f91ee
c1f44bc
b08dcd7
3c31399
4fc381a
de0ddf6
6fcb352
f6aaf6f
193003f
be7261e
0aec16c
aed536f
030985e
74d66db
50d7e68
7e84d4b
9e53b77
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing