File tree
18 files changed
+98
-119
lines changed- twenty-first
- benches
- src
- amount
- math
- mock/mmr
- util_types
- mmr
18 files changed
+98
-119
lines changedLines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 |
| - | |
48 |
| - | |
| 47 | + | |
49 | 48 |
| |
50 | 49 |
| |
51 | 50 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
87 |
| - | |
| 87 | + | |
88 | 88 |
| |
89 | 89 |
| |
90 | 90 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
74 | 74 |
| |
75 | 75 |
| |
76 | 76 |
| |
77 |
| - | |
| 77 | + | |
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
|
Lines changed: 8 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
| 15 | + | |
| 16 | + | |
15 | 17 |
| |
16 |
| - | |
17 |
| - | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 |
| - | |
| 309 | + | |
310 | 310 |
| |
311 | 311 |
| |
312 | 312 |
| |
| |||
386 | 386 |
| |
387 | 387 |
| |
388 | 388 |
| |
389 |
| - | |
390 | 389 |
| |
391 | 390 |
| |
392 | 391 |
| |
| |||
418 | 417 |
| |
419 | 418 |
| |
420 | 419 |
| |
421 |
| - | |
| 420 | + | |
422 | 421 |
| |
423 | 422 |
| |
424 | 423 |
| |
| |||
756 | 755 |
| |
757 | 756 |
| |
758 | 757 |
| |
759 |
| - | |
| 758 | + | |
760 | 759 |
| |
761 | 760 |
| |
762 |
| - | |
| 761 | + | |
763 | 762 |
| |
764 |
| - | |
| 763 | + | |
765 | 764 |
| |
766 | 765 |
| |
767 | 766 |
| |
|
Lines changed: 10 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
| 25 | + | |
24 | 26 |
| |
25 |
| - | |
26 |
| - | |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
| |||
643 | 643 |
| |
644 | 644 |
| |
645 | 645 |
| |
646 |
| - | |
| 646 | + | |
647 | 647 |
| |
648 |
| - | |
| 648 | + | |
649 | 649 |
| |
650 | 650 |
| |
651 | 651 |
| |
| |||
802 | 802 |
| |
803 | 803 |
| |
804 | 804 |
| |
805 |
| - | |
806 | 805 |
| |
807 | 806 |
| |
808 | 807 |
| |
| |||
1314 | 1313 |
| |
1315 | 1314 |
| |
1316 | 1315 |
| |
1317 |
| - | |
1318 |
| - | |
| 1316 | + | |
| 1317 | + | |
1319 | 1318 |
| |
1320 | 1319 |
| |
1321 | 1320 |
| |
| |||
1325 | 1324 |
| |
1326 | 1325 |
| |
1327 | 1326 |
| |
1328 |
| - | |
| 1327 | + | |
1329 | 1328 |
| |
1330 | 1329 |
| |
1331 |
| - | |
| 1330 | + | |
1332 | 1331 |
| |
1333 | 1332 |
| |
1334 | 1333 |
| |
| |||
1353 | 1352 |
| |
1354 | 1353 |
| |
1355 | 1354 |
| |
1356 |
| - | |
| 1355 | + | |
1357 | 1356 |
| |
1358 |
| - | |
| 1357 | + | |
1359 | 1358 |
| |
1360 | 1359 |
| |
1361 | 1360 |
| |
|
Lines changed: 4 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
| 12 | + | |
11 | 13 |
| |
12 |
| - | |
13 |
| - | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| |||
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
108 |
| - | |
| 108 | + | |
109 | 109 |
| |
110 |
| - | |
111 |
| - | |
112 |
| - | |
113 |
| - | |
114 |
| - | |
115 |
| - | |
116 |
| - | |
117 |
| - | |
| 110 | + | |
118 | 111 |
| |
119 | 112 |
| |
120 | 113 |
| |
|
Lines changed: 5 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
818 | 818 |
| |
819 | 819 |
| |
820 | 820 |
| |
821 |
| - | |
822 | 821 |
| |
823 | 822 |
| |
824 | 823 |
| |
| |||
875 | 874 |
| |
876 | 875 |
| |
877 | 876 |
| |
878 |
| - | |
| 877 | + | |
879 | 878 |
| |
880 | 879 |
| |
881 | 880 |
| |
| |||
889 | 888 |
| |
890 | 889 |
| |
891 | 890 |
| |
892 |
| - | |
| 891 | + | |
893 | 892 |
| |
894 | 893 |
| |
895 | 894 |
| |
| |||
912 | 911 |
| |
913 | 912 |
| |
914 | 913 |
| |
915 |
| - | |
| 914 | + | |
916 | 915 |
| |
917 | 916 |
| |
918 | 917 |
| |
| |||
931 | 930 |
| |
932 | 931 |
| |
933 | 932 |
| |
934 |
| - | |
| 933 | + | |
935 | 934 |
| |
936 | 935 |
| |
937 | 936 |
| |
| |||
978 | 977 |
| |
979 | 978 |
| |
980 | 979 |
| |
981 |
| - | |
| 980 | + | |
982 | 981 |
| |
983 | 982 |
| |
984 | 983 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
498 | 498 |
| |
499 | 499 |
| |
500 | 500 |
| |
501 |
| - | |
502 | 501 |
| |
503 | 502 |
| |
504 | 503 |
| |
505 | 504 |
| |
506 | 505 |
| |
507 | 506 |
| |
508 |
| - | |
| 507 | + | |
509 | 508 |
| |
510 | 509 |
| |
511 | 510 |
| |
| |||
525 | 524 |
| |
526 | 525 |
| |
527 | 526 |
| |
528 |
| - | |
| 527 | + | |
529 | 528 |
| |
530 | 529 |
| |
531 | 530 |
| |
| |||
548 | 547 |
| |
549 | 548 |
| |
550 | 549 |
| |
551 |
| - | |
| 550 | + | |
552 | 551 |
| |
553 | 552 |
| |
554 | 553 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 |
| - | |
| 1 | + | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
|
Lines changed: 5 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
706 | 706 |
| |
707 | 707 |
| |
708 | 708 |
| |
709 |
| - | |
710 | 709 |
| |
711 | 710 |
| |
712 | 711 |
| |
| |||
720 | 719 |
| |
721 | 720 |
| |
722 | 721 |
| |
723 |
| - | |
724 |
| - | |
| 722 | + | |
| 723 | + | |
725 | 724 |
| |
726 | 725 |
| |
727 | 726 |
| |
| |||
1061 | 1060 |
| |
1062 | 1061 |
| |
1063 | 1062 |
| |
1064 |
| - | |
| 1063 | + | |
1065 | 1064 |
| |
1066 | 1065 |
| |
1067 | 1066 |
| |
| |||
1088 | 1087 |
| |
1089 | 1088 |
| |
1090 | 1089 |
| |
1091 |
| - | |
| 1090 | + | |
1092 | 1091 |
| |
1093 |
| - | |
| 1092 | + | |
1094 | 1093 |
| |
1095 | 1094 |
| |
1096 | 1095 |
| |
|
Lines changed: 7 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| 18 | + | |
| 19 | + | |
18 | 20 |
| |
19 |
| - | |
20 |
| - | |
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| |||
321 | 321 |
| |
322 | 322 |
| |
323 | 323 |
| |
324 |
| - | |
| 324 | + | |
325 | 325 |
| |
326 |
| - | |
327 |
| - | |
328 |
| - | |
329 |
| - | |
330 |
| - | |
331 |
| - | |
| 326 | + | |
332 | 327 |
| |
333 | 328 |
| |
334 | 329 |
| |
| |||
834 | 829 |
| |
835 | 830 |
| |
836 | 831 |
| |
837 |
| - | |
| 832 | + | |
838 | 833 |
| |
839 |
| - | |
840 |
| - | |
| 834 | + | |
| 835 | + | |
841 | 836 |
| |
842 | 837 |
| |
843 | 838 |
| |
|
0 commit comments