File tree
51 files changed
+139
-139
lines changed- .github/ISSUE_TEMPLATE
- config/management/operational/src
- docker
- json-rpc/docs
- language
- move-prover/tests
- stdlib
- modules
- doc
- transaction_scripts
- doc
- scripts
- specifications
- crypto
- network
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
51 files changed
+139
-139
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
24 |
| - | |
| 24 | + | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
92 | 92 |
| |
93 | 93 |
| |
94 | 94 |
| |
95 |
| - | |
| 95 | + | |
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
99 |
| - | |
| 99 | + | |
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
103 |
| - | |
| 103 | + | |
104 | 104 |
| |
105 | 105 |
| |
106 | 106 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
105 |
| - | |
| 105 | + | |
106 | 106 |
| |
107 | 107 |
| |
108 | 108 |
| |
| |||
113 | 113 |
| |
114 | 114 |
| |
115 | 115 |
| |
116 |
| - | |
| 116 | + | |
117 | 117 |
| |
118 | 118 |
| |
119 | 119 |
| |
120 | 120 |
| |
121 |
| - | |
| 121 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 |
| - | |
| 47 | + | |
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
619 | 619 |
| |
620 | 620 |
| |
621 | 621 |
| |
622 |
| - | |
623 |
| - | |
624 |
| - | |
| 622 | + | |
| 623 | + | |
| 624 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1318 | 1318 |
| |
1319 | 1319 |
| |
1320 | 1320 |
| |
1321 |
| - | |
1322 |
| - | |
1323 |
| - | |
| 1321 | + | |
| 1322 | + | |
| 1323 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
334 | 334 |
| |
335 | 335 |
| |
336 | 336 |
| |
337 |
| - | |
338 |
| - | |
339 |
| - | |
| 337 | + | |
| 338 | + | |
| 339 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
178 |
| - | |
179 |
| - | |
180 |
| - | |
| 178 | + | |
| 179 | + | |
| 180 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
423 | 423 |
| |
424 | 424 |
| |
425 | 425 |
| |
426 |
| - | |
427 |
| - | |
428 |
| - | |
| 426 | + | |
| 427 | + | |
| 428 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
858 | 858 |
| |
859 | 859 |
| |
860 | 860 |
| |
861 |
| - | |
862 |
| - | |
863 |
| - | |
| 861 | + | |
| 862 | + | |
| 863 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3448 | 3448 |
| |
3449 | 3449 |
| |
3450 | 3450 |
| |
3451 |
| - | |
3452 |
| - | |
3453 |
| - | |
| 3451 | + | |
| 3452 | + | |
| 3453 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4782 | 4782 |
| |
4783 | 4783 |
| |
4784 | 4784 |
| |
4785 |
| - | |
4786 |
| - | |
4787 |
| - | |
| 4785 | + | |
| 4786 | + | |
| 4787 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
329 | 329 |
| |
330 | 330 |
| |
331 | 331 |
| |
332 |
| - | |
333 |
| - | |
334 |
| - | |
| 332 | + | |
| 333 | + | |
| 334 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
952 | 952 |
| |
953 | 953 |
| |
954 | 954 |
| |
955 |
| - | |
956 |
| - | |
957 |
| - | |
| 955 | + | |
| 956 | + | |
| 957 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1338 | 1338 |
| |
1339 | 1339 |
| |
1340 | 1340 |
| |
1341 |
| - | |
1342 |
| - | |
1343 |
| - | |
| 1341 | + | |
| 1342 | + | |
| 1343 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
507 | 507 |
| |
508 | 508 |
| |
509 | 509 |
| |
510 |
| - | |
511 |
| - | |
512 |
| - | |
| 510 | + | |
| 511 | + | |
| 512 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
463 | 463 |
| |
464 | 464 |
| |
465 | 465 |
| |
466 |
| - | |
467 |
| - | |
468 |
| - | |
| 466 | + | |
| 467 | + | |
| 468 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
338 | 338 |
| |
339 | 339 |
| |
340 | 340 |
| |
341 |
| - | |
342 |
| - | |
343 |
| - | |
| 341 | + | |
| 342 | + | |
| 343 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
240 | 240 |
| |
241 | 241 |
| |
242 | 242 |
| |
243 |
| - | |
244 |
| - | |
245 |
| - | |
| 243 | + | |
| 244 | + | |
| 245 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1503 | 1503 |
| |
1504 | 1504 |
| |
1505 | 1505 |
| |
1506 |
| - | |
1507 |
| - | |
1508 |
| - | |
| 1506 | + | |
| 1507 | + | |
| 1508 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
549 | 549 |
| |
550 | 550 |
| |
551 | 551 |
| |
552 |
| - | |
553 |
| - | |
554 |
| - | |
| 552 | + | |
| 553 | + | |
| 554 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
285 | 285 |
| |
286 | 286 |
| |
287 | 287 |
| |
288 |
| - | |
289 |
| - | |
290 |
| - | |
| 288 | + | |
| 289 | + | |
| 290 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
599 | 599 |
| |
600 | 600 |
| |
601 | 601 |
| |
602 |
| - | |
603 |
| - | |
604 |
| - | |
| 602 | + | |
| 603 | + | |
| 604 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
149 | 149 |
| |
150 | 150 |
| |
151 | 151 |
| |
152 |
| - | |
153 |
| - | |
154 |
| - | |
| 152 | + | |
| 153 | + | |
| 154 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
66 |
| - | |
67 |
| - | |
68 |
| - | |
| 66 | + | |
| 67 | + | |
| 68 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
61 |
| - | |
62 |
| - | |
| 60 | + | |
| 61 | + | |
| 62 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
785 | 785 |
| |
786 | 786 |
| |
787 | 787 |
| |
788 |
| - | |
789 |
| - | |
790 |
| - | |
| 788 | + | |
| 789 | + | |
| 790 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
543 | 543 |
| |
544 | 544 |
| |
545 | 545 |
| |
546 |
| - | |
547 |
| - | |
548 |
| - | |
| 546 | + | |
| 547 | + | |
| 548 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
264 | 264 |
| |
265 | 265 |
| |
266 | 266 |
| |
267 |
| - | |
268 |
| - | |
269 |
| - | |
| 267 | + | |
| 268 | + | |
| 269 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1638 | 1638 |
| |
1639 | 1639 |
| |
1640 | 1640 |
| |
1641 |
| - | |
1642 |
| - | |
1643 |
| - | |
| 1641 | + | |
| 1642 | + | |
| 1643 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
397 | 397 |
| |
398 | 398 |
| |
399 | 399 |
| |
400 |
| - | |
401 |
| - | |
402 |
| - | |
| 400 | + | |
| 401 | + | |
| 402 | + |
0 commit comments