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
Generalized state compression #470
Generalized state compression #470
Changes from 56 commits
5091ef2
0c726ea
4c13b5b
ded4ca7
0f7c9ac
dccbb36
b8f56ed
15582e5
b982975
06c691b
e6b1110
2df1c39
803d656
cf11a6b
12a4c90
ca98fc9
b49a418
821017a
32f7df5
333036e
a50f6ae
5308761
57cd1dd
323aa26
bbd7372
abe4546
f40df1a
4d4930c
7395957
25db1fa
4b0ae21
3683b03
dd0b0fb
85da74c
118f822
5596539
b94c55a
75a14f5
ce5489d
e2342ea
bb5426c
4f043eb
c5bdbc9
a9be24a
afbf92c
72d95b0
bc3b810
37b1d62
769a533
a2c3042
37ba707
6150b4a
bf173cf
6baad34
d4cd991
8c5a4f0
ad9705f
8720580
2de716d
2f0f3b1
cfad43d
10e304b
3e89cb1
e446ed5
a6d870b
5fda6cb
6ef0bac
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing