Commit f893884
reffy-bot
Update of TR report from new reffy run
Using reffy commit 19.2.2.1 parent e8f61f2 commit f893884
File tree
14 files changed
+681
-191
lines changed- tr
- algorithms
- cddl
- dfns
- ids
- links
- refs
14 files changed
+681
-191
lines changedLarge diffs are not rendered by default.
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
| 25 | + | |
25 | 26 | | |
26 | 27 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
| 19 | + | |
19 | 20 | | |
20 | 21 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
58 | | - | |
| 57 | + | |
59 | 58 | | |
60 | 59 | | |
61 | 60 | | |
| |||
109 | 108 | | |
110 | 109 | | |
111 | 110 | | |
112 | | - | |
113 | | - | |
| 111 | + | |
114 | 112 | | |
115 | 113 | | |
116 | 114 | | |
| |||
280 | 278 | | |
281 | 279 | | |
282 | 280 | | |
283 | | - | |
284 | | - | |
| 281 | + | |
285 | 282 | | |
286 | 283 | | |
287 | 284 | | |
| |||
498 | 495 | | |
499 | 496 | | |
500 | 497 | | |
501 | | - | |
502 | | - | |
| 498 | + | |
503 | 499 | | |
504 | 500 | | |
505 | 501 | | |
| |||
1842 | 1838 | | |
1843 | 1839 | | |
1844 | 1840 | | |
1845 | | - | |
1846 | | - | |
| 1841 | + | |
1847 | 1842 | | |
1848 | 1843 | | |
1849 | 1844 | | |
| |||
0 commit comments