File tree
18 files changed
+4362
-1444
lines changed- ed
- algorithms
- cddl
- dfns
- headings
- ids
- links
- refs
18 files changed
+4362
-1444
lines changedLarge diffs are not rendered by default.
Lines changed: 1533 additions & 413 deletions
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
914 | 914 | | |
915 | 915 | | |
916 | 916 | | |
917 | | - | |
918 | | - | |
919 | 917 | | |
920 | 918 | | |
921 | 919 | | |
| |||
952 | 950 | | |
953 | 951 | | |
954 | 952 | | |
| 953 | + | |
| 954 | + | |
955 | 955 | | |
956 | 956 | | |
957 | 957 | | |
| |||
2750 | 2750 | | |
2751 | 2751 | | |
2752 | 2752 | | |
2753 | | - | |
2754 | | - | |
2755 | 2753 | | |
2756 | 2754 | | |
2757 | 2755 | | |
| |||
2788 | 2786 | | |
2789 | 2787 | | |
2790 | 2788 | | |
| 2789 | + | |
| 2790 | + | |
2791 | 2791 | | |
2792 | 2792 | | |
2793 | 2793 | | |
| |||
4206 | 4206 | | |
4207 | 4207 | | |
4208 | 4208 | | |
4209 | | - | |
4210 | | - | |
4211 | 4209 | | |
4212 | 4210 | | |
4213 | 4211 | | |
| |||
4239 | 4237 | | |
4240 | 4238 | | |
4241 | 4239 | | |
| 4240 | + | |
| 4241 | + | |
4242 | 4242 | | |
4243 | 4243 | | |
4244 | 4244 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
489 | 489 | | |
490 | 490 | | |
491 | 491 | | |
492 | | - | |
493 | | - | |
494 | 492 | | |
495 | 493 | | |
496 | 494 | | |
| |||
522 | 520 | | |
523 | 521 | | |
524 | 522 | | |
| 523 | + | |
| 524 | + | |
525 | 525 | | |
526 | 526 | | |
527 | 527 | | |
| |||
1766 | 1766 | | |
1767 | 1767 | | |
1768 | 1768 | | |
1769 | | - | |
1770 | | - | |
1771 | 1769 | | |
1772 | 1770 | | |
1773 | 1771 | | |
| |||
1804 | 1802 | | |
1805 | 1803 | | |
1806 | 1804 | | |
| 1805 | + | |
| 1806 | + | |
1807 | 1807 | | |
1808 | 1808 | | |
1809 | 1809 | | |
| |||
3222 | 3222 | | |
3223 | 3223 | | |
3224 | 3224 | | |
3225 | | - | |
3226 | | - | |
3227 | 3225 | | |
3228 | 3226 | | |
3229 | 3227 | | |
| |||
3255 | 3253 | | |
3256 | 3254 | | |
3257 | 3255 | | |
| 3256 | + | |
| 3257 | + | |
3258 | 3258 | | |
3259 | 3259 | | |
3260 | 3260 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
569 | 569 | | |
570 | 570 | | |
571 | 571 | | |
572 | | - | |
573 | | - | |
574 | 572 | | |
575 | 573 | | |
576 | 574 | | |
| |||
607 | 605 | | |
608 | 606 | | |
609 | 607 | | |
| 608 | + | |
| 609 | + | |
610 | 610 | | |
611 | 611 | | |
612 | 612 | | |
| |||
2105 | 2105 | | |
2106 | 2106 | | |
2107 | 2107 | | |
2108 | | - | |
2109 | | - | |
2110 | 2108 | | |
2111 | 2109 | | |
2112 | 2110 | | |
| |||
2143 | 2141 | | |
2144 | 2142 | | |
2145 | 2143 | | |
| 2144 | + | |
| 2145 | + | |
2146 | 2146 | | |
2147 | 2147 | | |
2148 | 2148 | | |
| |||
3561 | 3561 | | |
3562 | 3562 | | |
3563 | 3563 | | |
3564 | | - | |
3565 | | - | |
3566 | 3564 | | |
3567 | 3565 | | |
3568 | 3566 | | |
| |||
3594 | 3592 | | |
3595 | 3593 | | |
3596 | 3594 | | |
| 3595 | + | |
| 3596 | + | |
3597 | 3597 | | |
3598 | 3598 | | |
3599 | 3599 | | |
| |||
0 commit comments