File tree
10 files changed
+9981
-1539
lines changed- tr
- algorithms
- cddl
- dfns
- headings
- ids
- links
- refs
10 files changed
+9981
-1539
lines changedLarge diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
66 | | - | |
| 65 | + | |
| 66 | + | |
67 | 67 | | |
68 | | - | |
| 68 | + | |
| 69 | + | |
69 | 70 | | |
70 | 71 | | |
71 | | - | |
| 72 | + | |
72 | 73 | | |
73 | 74 | | |
74 | 75 | | |
| |||
81 | 82 | | |
82 | 83 | | |
83 | 84 | | |
84 | | - | |
85 | | - | |
| 85 | + | |
| 86 | + | |
86 | 87 | | |
87 | | - | |
| 88 | + | |
| 89 | + | |
88 | 90 | | |
89 | 91 | | |
90 | | - | |
| 92 | + | |
91 | 93 | | |
92 | 94 | | |
93 | 95 | | |
| |||
3566 | 3568 | | |
3567 | 3569 | | |
3568 | 3570 | | |
3569 | | - | |
3570 | | - | |
3571 | | - | |
3572 | | - | |
3573 | | - | |
3574 | | - | |
3575 | | - | |
3576 | | - | |
3577 | | - | |
3578 | | - | |
3579 | | - | |
3580 | | - | |
3581 | | - | |
3582 | | - | |
3583 | | - | |
3584 | | - | |
3585 | | - | |
3586 | | - | |
3587 | | - | |
3588 | | - | |
3589 | | - | |
3590 | | - | |
3591 | 3571 | | |
3592 | 3572 | | |
3593 | 3573 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1480 | 1480 | | |
1481 | 1481 | | |
1482 | 1482 | | |
| 1483 | + | |
| 1484 | + | |
| 1485 | + | |
| 1486 | + | |
| 1487 | + | |
| 1488 | + | |
| 1489 | + | |
| 1490 | + | |
| 1491 | + | |
| 1492 | + | |
| 1493 | + | |
| 1494 | + | |
1483 | 1495 | | |
1484 | 1496 | | |
1485 | 1497 | | |
| |||
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
756 | 756 | | |
757 | 757 | | |
758 | 758 | | |
759 | | - | |
| 759 | + | |
760 | 760 | | |
761 | 761 | | |
762 | 762 | | |
| |||
17294 | 17294 | | |
17295 | 17295 | | |
17296 | 17296 | | |
17297 | | - | |
| 17297 | + | |
17298 | 17298 | | |
17299 | 17299 | | |
17300 | | - | |
17301 | | - | |
| 17300 | + | |
| 17301 | + | |
17302 | 17302 | | |
17303 | 17303 | | |
17304 | 17304 | | |
| |||
17350 | 17350 | | |
17351 | 17351 | | |
17352 | 17352 | | |
17353 | | - | |
| 17353 | + | |
17354 | 17354 | | |
17355 | 17355 | | |
17356 | | - | |
17357 | | - | |
| 17356 | + | |
| 17357 | + | |
17358 | 17358 | | |
17359 | 17359 | | |
17360 | 17360 | | |
| |||
22581 | 22581 | | |
22582 | 22582 | | |
22583 | 22583 | | |
22584 | | - | |
| 22584 | + | |
22585 | 22585 | | |
22586 | 22586 | | |
22587 | | - | |
22588 | | - | |
| 22587 | + | |
| 22588 | + | |
22589 | 22589 | | |
22590 | 22590 | | |
22591 | 22591 | | |
| |||
22598 | 22598 | | |
22599 | 22599 | | |
22600 | 22600 | | |
22601 | | - | |
22602 | | - | |
| 22601 | + | |
| 22602 | + | |
22603 | 22603 | | |
22604 | 22604 | | |
22605 | | - | |
22606 | | - | |
| 22605 | + | |
| 22606 | + | |
22607 | 22607 | | |
22608 | 22608 | | |
22609 | 22609 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
43 | 43 | | |
44 | 44 | | |
45 | 45 | | |
| 46 | + | |
46 | 47 | | |
47 | 48 | | |
48 | 49 | | |
| |||
583 | 584 | | |
584 | 585 | | |
585 | 586 | | |
| 587 | + | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
586 | 593 | | |
587 | 594 | | |
588 | 595 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
137 | 137 | | |
138 | 138 | | |
139 | 139 | | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
140 | 144 | | |
141 | 145 | | |
142 | 146 | | |
| |||
0 commit comments