This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
102 files changed
+165
-64
lines changed- src/tools/miri
- tests
- fail-dep
- concurrency
- shims
- fs
- sync
- tokio
- pass/backtrace
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
102 files changed
+165
-64
lines changedLines changed: 114 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
29 | 48 |
| |
30 | 49 |
| |
31 | 50 |
| |
| |||
159 | 178 |
| |
160 | 179 |
| |
161 | 180 |
| |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
162 | 200 |
| |
163 | 201 |
| |
164 | 202 |
| |
| |||
189 | 227 |
| |
190 | 228 |
| |
191 | 229 |
| |
192 |
| - | |
193 |
| - | |
| 230 | + | |
| 231 | + | |
194 | 232 |
| |
195 |
| - | |
| 233 | + | |
196 | 234 |
| |
197 | 235 |
| |
198 | 236 |
| |
| |||
282 | 320 |
| |
283 | 321 |
| |
284 | 322 |
| |
| 323 | + | |
| 324 | + | |
| 325 | + | |
| 326 | + | |
| 327 | + | |
| 328 | + | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
| 335 | + | |
285 | 336 |
| |
286 | 337 |
| |
287 | 338 |
| |
| |||
325 | 376 |
| |
326 | 377 |
| |
327 | 378 |
| |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
328 | 385 |
| |
329 | 386 |
| |
330 | 387 |
| |
| |||
463 | 520 |
| |
464 | 521 |
| |
465 | 522 |
| |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
466 | 529 |
| |
467 | 530 |
| |
468 | 531 |
| |
| |||
484 | 547 |
| |
485 | 548 |
| |
486 | 549 |
| |
| 550 | + | |
| 551 | + | |
| 552 | + | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
| 556 | + | |
| 557 | + | |
| 558 | + | |
487 | 559 |
| |
488 | 560 |
| |
489 | 561 |
| |
| |||
524 | 596 |
| |
525 | 597 |
| |
526 | 598 |
| |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
| 603 | + | |
| 604 | + | |
527 | 605 |
| |
528 | 606 |
| |
529 | 607 |
| |
530 | 608 |
| |
531 | 609 |
| |
532 | 610 |
| |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
533 | 621 |
| |
534 | 622 |
| |
535 | 623 |
| |
| |||
859 | 947 |
| |
860 | 948 |
| |
861 | 949 |
| |
862 |
| - | |
| 950 | + | |
863 | 951 |
| |
864 |
| - | |
| 952 | + | |
865 | 953 |
| |
| 954 | + | |
| 955 | + | |
866 | 956 |
| |
867 | 957 |
| |
868 | 958 |
| |
869 | 959 |
| |
870 | 960 |
| |
| 961 | + | |
871 | 962 |
| |
872 |
| - | |
| 963 | + | |
873 | 964 |
| |
| 965 | + | |
| 966 | + | |
874 | 967 |
| |
875 | 968 |
| |
876 | 969 |
| |
| |||
885 | 978 |
| |
886 | 979 |
| |
887 | 980 |
| |
| 981 | + | |
| 982 | + | |
| 983 | + | |
| 984 | + | |
| 985 | + | |
| 986 | + | |
888 | 987 |
| |
889 | 988 |
| |
890 | 989 |
| |
| |||
1059 | 1158 |
| |
1060 | 1159 |
| |
1061 | 1160 |
| |
| 1161 | + | |
| 1162 | + | |
| 1163 | + | |
| 1164 | + | |
| 1165 | + | |
| 1166 | + | |
| 1167 | + | |
| 1168 | + | |
| 1169 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
|
Lines changed: 2 additions & 0 deletions
Lines changed: 46 additions & 55 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
7 |
| - | |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
| |||
78 | 79 |
| |
79 | 80 |
| |
80 | 81 |
| |
81 |
| - | |
82 |
| - | |
83 |
| - | |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 |
| - | |
89 |
| - | |
90 |
| - | |
91 | 82 |
| |
92 | 83 |
| |
93 | 84 |
| |
94 | 85 |
| |
95 | 86 |
| |
96 | 87 |
| |
97 |
| - | |
98 | 88 |
| |
99 | 89 |
| |
100 |
| - | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
101 | 94 |
| |
102 | 95 |
| |
103 | 96 |
| |
| |||
120 | 113 |
| |
121 | 114 |
| |
122 | 115 |
| |
123 |
| - | |
| 116 | + | |
124 | 117 |
| |
125 | 118 |
| |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
132 |
| - | |
133 |
| - | |
134 |
| - | |
135 |
| - | |
136 |
| - | |
137 |
| - | |
138 |
| - | |
139 |
| - | |
140 |
| - | |
141 |
| - | |
142 |
| - | |
143 |
| - | |
144 |
| - | |
145 |
| - | |
146 |
| - | |
147 |
| - | |
148 |
| - | |
149 |
| - | |
150 |
| - | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
151 | 129 |
| |
152 | 130 |
| |
153 |
| - | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
154 | 134 |
| |
155 |
| - | |
156 |
| - | |
157 |
| - | |
158 |
| - | |
159 |
| - | |
| 135 | + | |
160 | 136 |
| |
161 |
| - | |
| 137 | + | |
162 | 138 |
| |
163 |
| - | |
164 |
| - | |
165 |
| - | |
166 |
| - | |
167 |
| - | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
168 | 142 |
| |
169 | 143 |
| |
170 | 144 |
| |
| |||
269 | 243 |
| |
270 | 244 |
| |
271 | 245 |
| |
272 |
| - | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
273 | 258 |
| |
274 | 259 |
| |
275 | 260 |
| |
276 |
| - | |
| 261 | + | |
277 | 262 |
| |
278 | 263 |
| |
279 | 264 |
| |
| |||
285 | 270 |
| |
286 | 271 |
| |
287 | 272 |
| |
288 |
| - | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
289 | 279 |
| |
290 |
| - | |
| 280 | + | |
291 | 281 |
| |
292 | 282 |
| |
| 283 | + | |
293 | 284 |
| |
294 | 285 |
| |
295 | 286 |
| |
|
0 commit comments