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
feat: Votes sum invariant #330
feat: Votes sum invariant #330
Changes from 145 commits
e31c19a
6d2092a
9c19e84
1e51704
a5338df
f353d41
89a43db
74aabf7
0a64ab2
ad719bf
0c1556a
822d61d
a60f625
fd08c73
3f6c079
96c61f2
ec7fba5
8f39c1e
d223200
23c0167
d62f5e9
76be926
ef878de
68a0e0f
af62bac
95f27b3
6783ecd
94e8b93
3b8328e
3dd8029
7c3ebe5
09c1dde
a365a4b
bd7b116
bc555a9
7b9886b
30e9857
1a11a87
849a31b
0062f9d
594c142
d790e96
b257000
3bd1dcf
f16a4c2
cd739de
3a4f33c
4a0f031
42763c9
7daac2e
f5df08b
e4327fc
a45380d
30386f8
074e9bc
9e31ebf
7bc6181
1910ed9
308f639
16b5832
60ac9b2
52a0eb1
17edac2
c5e5e72
9fb38fd
5fd97fb
b7ea6f3
58d65e5
09568a6
d647651
9910747
adbc7e5
9e75372
5e4754e
89227a0
42dcecf
d7806b1
9ba1404
c8c69be
71b1d89
df3e7f4
be7952c
7ef6cb5
97c8c7c
15ce9a9
084c33b
b340653
a2df03e
8bbd8e4
622565d
c520fd6
2da5355
c29b9d1
ead7312
4f1b50d
5503918
d8316df
6d4af82
51c239d
ee43a70
9f00995
51dcff5
32bd9e4
5878b58
24330fc
81a57bf
cdf570e
6b8caa1
2cb4854
5a9a78c
2824adb
e4e8f8c
288018a
029788d
b5dd71d
d9d3ece
dd52d55
0babe99
9610b3d
ee4d6f9
f58289e
928aab2
6b12872
a95d842
50a78a3
beff6e0
499bbbd
0cd6cfd
9bd7895
711bb23
8519dec
9d644b9
faadbb7
97b5da1
17ad17b
83036bf
fbd4680
ec84472
9465daa
e9374c8
176ad91
b7759e6
98d86be
d44e9d5
3e1ca4c
fd33c28
0f0d384
b04e6dd
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing