File tree
4 files changed
+188
-42
lines changed- hotshot/src/traits/election
- hotshot-example-types/src
- hotshot-types/src
- types/src/v0/impls
4 files changed
+188
-42
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| |||
97 | 97 |
| |
98 | 98 |
| |
99 | 99 |
| |
100 |
| - | |
| 100 | + | |
101 | 101 |
| |
102 | 102 |
| |
103 | 103 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
126 | 126 |
| |
127 | 127 |
| |
128 | 128 |
| |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
| 236 | + | |
| 237 | + | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
| 242 | + | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
| 8 | + | |
7 | 9 |
| |
8 |
| - | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
9 | 14 |
| |
10 | 15 |
| |
11 | 16 |
| |
12 | 17 |
| |
13 | 18 |
| |
14 | 19 |
| |
15 | 20 |
| |
16 |
| - | |
| 21 | + | |
17 | 22 |
| |
18 |
| - | |
19 |
| - | |
20 | 23 |
| |
21 |
| - | |
| 24 | + | |
22 | 25 |
| |
23 | 26 |
| |
24 |
| - | |
| 27 | + | |
25 | 28 |
| |
26 | 29 |
| |
27 | 30 |
| |
| |||
33 | 36 |
| |
34 | 37 |
| |
35 | 38 |
| |
| 39 | + | |
| 40 | + | |
| 41 | + | |
36 | 42 |
| |
37 | 43 |
| |
38 | 44 |
| |
| |||
42 | 48 |
| |
43 | 49 |
| |
44 | 50 |
| |
45 |
| - | |
| 51 | + | |
46 | 52 |
| |
47 | 53 |
| |
48 | 54 |
| |
| |||
91 | 97 |
| |
92 | 98 |
| |
93 | 99 |
| |
| 100 | + | |
| 101 | + | |
| 102 | + | |
94 | 103 |
| |
95 | 104 |
| |
96 | 105 |
| |
97 | 106 |
| |
| 107 | + | |
98 | 108 |
| |
99 | 109 |
| |
100 | 110 |
| |
| |||
205 | 215 |
| |
206 | 216 |
| |
207 | 217 |
| |
208 |
| - | |
209 |
| - | |
210 |
| - | |
211 |
| - | |
212 |
| - | |
213 |
| - | |
214 |
| - | |
| 218 | + | |
215 | 219 |
| |
216 | 220 |
| |
217 | 221 |
| |
| |||
248 | 252 |
| |
249 | 253 |
| |
250 | 254 |
| |
251 |
| - | |
| 255 | + | |
252 | 256 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 |
| - | |
3 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
4 | 6 |
| |
5 | 7 |
| |
6 | 8 |
| |
| |||
11 | 13 |
| |
12 | 14 |
| |
13 | 15 |
| |
14 |
| - | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
15 | 20 |
| |
16 | 21 |
| |
17 | 22 |
| |
| |||
21 | 26 |
| |
22 | 27 |
| |
23 | 28 |
| |
24 |
| - | |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 | 29 |
| |
31 |
| - | |
32 | 30 |
| |
33 | 31 |
| |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
34 | 37 |
| |
35 | 38 |
| |
36 | 39 |
| |
| |||
107 | 110 |
| |
108 | 111 |
| |
109 | 112 |
| |
110 |
| - | |
111 |
| - | |
| 113 | + | |
| 114 | + | |
112 | 115 |
| |
113 | 116 |
| |
114 | 117 |
| |
| |||
256 | 259 |
| |
257 | 260 |
| |
258 | 261 |
| |
259 |
| - | |
| 262 | + | |
260 | 263 |
| |
261 | 264 |
| |
262 | 265 |
| |
| |||
337 | 340 |
| |
338 | 341 |
| |
339 | 342 |
| |
340 |
| - | |
| 343 | + | |
341 | 344 |
| |
342 | 345 |
| |
343 | 346 |
| |
| |||
432 | 435 |
| |
433 | 436 |
| |
434 | 437 |
| |
435 |
| - | |
436 |
| - | |
437 |
| - | |
438 |
| - | |
439 |
| - | |
| 438 | + | |
| 439 | + | |
| 440 | + | |
| 441 | + | |
| 442 | + | |
| 443 | + | |
| 444 | + | |
| 445 | + | |
| 446 | + | |
| 447 | + | |
| 448 | + | |
| 449 | + | |
| 450 | + | |
| 451 | + | |
| 452 | + | |
440 | 453 |
| |
441 |
| - | |
442 |
| - | |
443 |
| - | |
| 454 | + | |
| 455 | + | |
| 456 | + | |
| 457 | + | |
444 | 458 |
| |
445 | 459 |
| |
446 | 460 |
| |
| |||
504 | 518 |
| |
505 | 519 |
| |
506 | 520 |
| |
507 |
| - | |
508 |
| - | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
509 | 532 |
| |
510 | 533 |
| |
511 | 534 |
| |
|
0 commit comments