Commit d209975
reffy-bot
Update of ED report from new reffy run
Using reffy commit 19.1.7.1 parent a61053d commit d209975
File tree
17 files changed
+1987
-1440
lines changed- ed
- algorithms
- cddl
- dfns
- headings
- ids
- links
- refs
17 files changed
+1987
-1440
lines changed| 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 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11947 | 11947 | | |
11948 | 11948 | | |
11949 | 11949 | | |
11950 | | - | |
| 11950 | + | |
11951 | 11951 | | |
11952 | 11952 | | |
11953 | 11953 | | |
| |||
Large diffs are not rendered by default.
| 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 | | |
| |||
| 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 | | |
| |||
| 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