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
Combine Equivalence and Ordering equivalence to simplify state #8006
Combine Equivalence and Ordering equivalence to simplify state #8006
Changes from 134 commits
44ee85c
56b92e1
620dcce
944029b
98f491b
f2a4600
346e64e
9ca970b
722c2c2
a243d35
f3f76d6
9707b35
c4d7c99
aa7de00
6dbc85b
c1656c7
d77a6e0
fb08cce
8ce33be
e1b1488
aa019b3
055dc91
2f63ac7
e383e46
85890c1
9c703bd
93b7dc2
79b72b9
c70ac05
f6f9d47
7bd3d23
a6f18a6
8dcc6cd
68ff6ba
552d447
38f3101
062823f
4a6ecd9
795bf5b
7d3d4f2
a2f989a
597ce82
0d80709
1cb14c5
8dafda2
e8089c2
091bf80
85e9624
a94f2c7
36c4835
aef6dc1
b5022d1
7687642
988522f
3cdf545
8c17c05
62a1a25
8cd941d
4b2d6c1
3309567
535e1e8
eb60b5a
b6d5077
c454b35
39240b0
a370104
b1d8261
4122f6e
d1887b9
7b10397
f34c724
745e7cc
e007b98
acc6c15
8692dce
1d53900
6f1b242
28f5066
9630081
f165ace
edd42e3
94626ee
d8f9d46
18d1d6e
6a6136d
3d50b68
e6ec769
c8eecad
76f4921
36c65b8
1d30d89
f5d3d98
9aea383
a1087a1
111bb15
ac34dcc
4ad1006
3721f74
c1f9e17
a78a918
db3b4b5
f86e1f7
18e4e11
f0b1052
4e845e4
3979371
fef62d6
bf01154
dfd2060
29c8ae2
da18b45
378d5ae
155736a
4bd7a8d
299b758
e18ed11
3581703
9c47b4f
d111db3
1206af1
36ba8a9
5b47a2b
ace5beb
fa9850c
3134ee4
174c973
2c562c3
6ab2763
1a8fb60
47b42b8
ed80652
2a37ed8
53e44ac
9553168
2e52d40
25f698d
4de5540
f10c5c1
b582cda
c7f0206
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing