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
[Dynamic Protocol State] Read-only interfaces of protocol state #4579
[Dynamic Protocol State] Read-only interfaces of protocol state #4579
Changes from 68 commits
6eff830
9f4a0a7
fa4a17f
c43200b
d550c92
bf5d3ed
62c14b5
6106dc1
2062efb
8e270b5
ec2b92b
6b997ea
b42124b
6b3fa6b
2ee7d87
3ca81bb
fdbb3cd
71da068
7605d99
9152753
a44ec8f
c59c26a
dfcab24
6b47488
ef964a4
3192722
a216da5
5c4c332
cdcd456
61f53c1
7f844e2
c7471d8
8126acd
c9480b2
8ba0775
f6952be
c8144c8
e0f0f1b
b909d20
5881242
dacf332
18696f6
07e449e
6e3f587
9290985
4edcb11
cf509f9
4fd8696
16aa94d
4423875
325b7c9
5dc0d20
3163e93
79c45c1
5e8982e
c95a9b7
0d19d0a
0953256
3a9a86e
d982854
9570336
cfc1eec
0be0711
1fe92c7
63cd2f4
a678791
21c621f
8b16dad
0a1bf67
30f6d52
0fa6e01
0d961bc
f72f260
a0041b8
7d91701
792715e
d222fd0
0ccdb11
4d3e92f
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.