File tree
30 files changed
+2546
-1358
lines changed- ed
- algorithms
- cddl
- dfns
- headings
- ids
- links
- refs
30 files changed
+2546
-1358
lines changedLines changed: 6 additions & 6 deletions
Large diffs are not rendered by default.
Lines changed: 4 additions & 4 deletions
Large diffs are not rendered by default.
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32205 | 32205 |
| |
32206 | 32206 |
| |
32207 | 32207 |
| |
32208 |
| - | |
| 32208 | + | |
32209 | 32209 |
| |
32210 | 32210 |
| |
32211 | 32211 |
| |
|
Lines changed: 41 additions & 38 deletions
Large diffs are not rendered by default.
Lines changed: 391 additions & 277 deletions
Large diffs are not rendered by default.
Lines changed: 42 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
802 | 802 |
| |
803 | 803 |
| |
804 | 804 |
| |
805 |
| - | |
| 805 | + | |
| 806 | + | |
806 | 807 |
| |
807 | 808 |
| |
808 | 809 |
| |
| |||
833 | 834 |
| |
834 | 835 |
| |
835 | 836 |
| |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
| 841 | + | |
| 842 | + | |
| 843 | + | |
| 844 | + | |
| 845 | + | |
| 846 | + | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
| 851 | + | |
| 852 | + | |
| 853 | + | |
| 854 | + | |
| 855 | + | |
836 | 856 |
| |
837 | 857 |
| |
838 | 858 |
| |
| |||
2631 | 2651 |
| |
2632 | 2652 |
| |
2633 | 2653 |
| |
2634 |
| - | |
| 2654 | + | |
| 2655 | + | |
2635 | 2656 |
| |
2636 | 2657 |
| |
2637 | 2658 |
| |
| |||
2662 | 2683 |
| |
2663 | 2684 |
| |
2664 | 2685 |
| |
| 2686 | + | |
| 2687 | + | |
| 2688 | + | |
| 2689 | + | |
| 2690 | + | |
| 2691 | + | |
| 2692 | + | |
| 2693 | + | |
| 2694 | + | |
| 2695 | + | |
| 2696 | + | |
| 2697 | + | |
| 2698 | + | |
| 2699 | + | |
| 2700 | + | |
| 2701 | + | |
| 2702 | + | |
| 2703 | + | |
| 2704 | + | |
2665 | 2705 |
| |
2666 | 2706 |
| |
2667 | 2707 |
| |
|
Lines changed: 21 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1681 | 1681 |
| |
1682 | 1682 |
| |
1683 | 1683 |
| |
1684 |
| - | |
| 1684 | + | |
| 1685 | + | |
1685 | 1686 |
| |
1686 | 1687 |
| |
1687 | 1688 |
| |
| |||
1712 | 1713 |
| |
1713 | 1714 |
| |
1714 | 1715 |
| |
| 1716 | + | |
| 1717 | + | |
| 1718 | + | |
| 1719 | + | |
| 1720 | + | |
| 1721 | + | |
| 1722 | + | |
| 1723 | + | |
| 1724 | + | |
| 1725 | + | |
| 1726 | + | |
| 1727 | + | |
| 1728 | + | |
| 1729 | + | |
| 1730 | + | |
| 1731 | + | |
| 1732 | + | |
| 1733 | + | |
| 1734 | + | |
1715 | 1735 |
| |
1716 | 1736 |
| |
1717 | 1737 |
| |
|
Lines changed: 42 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
484 | 484 |
| |
485 | 485 |
| |
486 | 486 |
| |
487 |
| - | |
| 487 | + | |
| 488 | + | |
488 | 489 |
| |
489 | 490 |
| |
490 | 491 |
| |
| |||
515 | 516 |
| |
516 | 517 |
| |
517 | 518 |
| |
| 519 | + | |
| 520 | + | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
518 | 538 |
| |
519 | 539 |
| |
520 | 540 |
| |
| |||
1986 | 2006 |
| |
1987 | 2007 |
| |
1988 | 2008 |
| |
1989 |
| - | |
| 2009 | + | |
| 2010 | + | |
1990 | 2011 |
| |
1991 | 2012 |
| |
1992 | 2013 |
| |
| |||
2017 | 2038 |
| |
2018 | 2039 |
| |
2019 | 2040 |
| |
| 2041 | + | |
| 2042 | + | |
| 2043 | + | |
| 2044 | + | |
| 2045 | + | |
| 2046 | + | |
| 2047 | + | |
| 2048 | + | |
| 2049 | + | |
| 2050 | + | |
| 2051 | + | |
| 2052 | + | |
| 2053 | + | |
| 2054 | + | |
| 2055 | + | |
| 2056 | + | |
| 2057 | + | |
| 2058 | + | |
| 2059 | + | |
2020 | 2060 |
| |
2021 | 2061 |
| |
2022 | 2062 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1631 | 1631 |
| |
1632 | 1632 |
| |
1633 | 1633 |
| |
1634 |
| - | |
| 1634 | + | |
| 1635 | + | |
1635 | 1636 |
| |
1636 | 1637 |
| |
1637 | 1638 |
| |
|
0 commit comments