File tree
17 files changed
+1987
-1440
lines changed- ed
- algorithms
- cddl
- dfns
- headings
- ids
- links
- refs
17 files changed
+1987
-1440
lines changedLines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
641 | 641 |
| |
642 | 642 |
| |
643 | 643 |
| |
| 644 | + | |
| 645 | + | |
| 646 | + | |
| 647 | + | |
| 648 | + | |
| 649 | + | |
644 | 650 |
| |
645 | 651 |
| |
646 | 652 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11947 | 11947 |
| |
11948 | 11948 |
| |
11949 | 11949 |
| |
11950 |
| - | |
| 11950 | + | |
11951 | 11951 |
| |
11952 | 11952 |
| |
11953 | 11953 |
| |
|
Lines changed: 425 additions & 343 deletions
Large diffs are not rendered by default.
Lines changed: 28 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
803 | 803 |
| |
804 | 804 |
| |
805 | 805 |
| |
| 806 | + | |
806 | 807 |
| |
807 | 808 |
| |
808 | 809 |
| |
809 | 810 |
| |
810 | 811 |
| |
811 | 812 |
| |
| 813 | + | |
| 814 | + | |
| 815 | + | |
| 816 | + | |
| 817 | + | |
| 818 | + | |
| 819 | + | |
| 820 | + | |
| 821 | + | |
| 822 | + | |
| 823 | + | |
| 824 | + | |
| 825 | + | |
812 | 826 |
| |
813 | 827 |
| |
814 | 828 |
| |
| |||
2690 | 2704 |
| |
2691 | 2705 |
| |
2692 | 2706 |
| |
| 2707 | + | |
2693 | 2708 |
| |
2694 | 2709 |
| |
2695 | 2710 |
| |
2696 | 2711 |
| |
2697 | 2712 |
| |
2698 | 2713 |
| |
| 2714 | + | |
| 2715 | + | |
| 2716 | + | |
| 2717 | + | |
| 2718 | + | |
| 2719 | + | |
| 2720 | + | |
| 2721 | + | |
| 2722 | + | |
| 2723 | + | |
| 2724 | + | |
| 2725 | + | |
| 2726 | + | |
2699 | 2727 |
| |
2700 | 2728 |
| |
2701 | 2729 |
| |
|
Lines changed: 14 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1682 | 1682 |
| |
1683 | 1683 |
| |
1684 | 1684 |
| |
| 1685 | + | |
1685 | 1686 |
| |
1686 | 1687 |
| |
1687 | 1688 |
| |
1688 | 1689 |
| |
1689 | 1690 |
| |
1690 | 1691 |
| |
| 1692 | + | |
| 1693 | + | |
| 1694 | + | |
| 1695 | + | |
| 1696 | + | |
| 1697 | + | |
| 1698 | + | |
| 1699 | + | |
| 1700 | + | |
| 1701 | + | |
| 1702 | + | |
| 1703 | + | |
| 1704 | + | |
1691 | 1705 |
| |
1692 | 1706 |
| |
1693 | 1707 |
| |
|
Lines changed: 28 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
485 | 485 |
| |
486 | 486 |
| |
487 | 487 |
| |
| 488 | + | |
488 | 489 |
| |
489 | 490 |
| |
490 | 491 |
| |
491 | 492 |
| |
492 | 493 |
| |
493 | 494 |
| |
| 495 | + | |
| 496 | + | |
| 497 | + | |
| 498 | + | |
| 499 | + | |
| 500 | + | |
| 501 | + | |
| 502 | + | |
| 503 | + | |
| 504 | + | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
494 | 508 |
| |
495 | 509 |
| |
496 | 510 |
| |
| |||
2045 | 2059 |
| |
2046 | 2060 |
| |
2047 | 2061 |
| |
| 2062 | + | |
2048 | 2063 |
| |
2049 | 2064 |
| |
2050 | 2065 |
| |
2051 | 2066 |
| |
2052 | 2067 |
| |
2053 | 2068 |
| |
| 2069 | + | |
| 2070 | + | |
| 2071 | + | |
| 2072 | + | |
| 2073 | + | |
| 2074 | + | |
| 2075 | + | |
| 2076 | + | |
| 2077 | + | |
| 2078 | + | |
| 2079 | + | |
| 2080 | + | |
| 2081 | + | |
2054 | 2082 |
| |
2055 | 2083 |
| |
2056 | 2084 |
| |
|
0 commit comments