File tree
596 files changed
+1708
-1356
lines changed- cargo-miri
- src
- alloc_addresses
- bin
- borrow_tracker
- tree_borrows
- concurrency
- intrinsics
- shims
- unix
- linux_like
- macos
- tests
- fail-dep
- concurrency
- libc
- fs
- fail
- alloc
- both_borrows
- concurrency
- dangling_pointers
- data_race
- function_calls
- function_pointers
- intrinsics
- panic
- provenance
- shims
- backtrace
- fs
- stacked_borrows
- tail_calls
- tls
- tree_borrows
- reserved
- unaligned_pointers
- uninit
- validity
- weak_memory
- native-lib
- fail
- pass
- pass-dep/libc
- pass
- both_borrows
- shims
- tree_borrows
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
596 files changed
+1708
-1356
lines changedLines changed: 0 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 0 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
50 | 43 |
| |
51 | 44 |
| |
52 | 45 |
| |
|
Lines changed: 22 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
286 | 286 |
| |
287 | 287 |
| |
288 | 288 |
| |
| 289 | + | |
| 290 | + | |
| 291 | + | |
| 292 | + | |
| 293 | + | |
289 | 294 |
| |
290 | 295 |
| |
291 | 296 |
| |
| |||
396 | 401 |
| |
397 | 402 |
| |
398 | 403 |
| |
399 |
| - | |
400 |
| - | |
401 |
| - | |
| 404 | + | |
| 405 | + | |
| 406 | + | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
402 | 410 |
| |
403 |
| - | |
| 411 | + | |
404 | 412 |
| |
405 | 413 |
| |
406 |
| - | |
407 |
| - | |
408 |
| - | |
409 |
| - | |
410 |
| - | |
| 414 | + | |
| 415 | + | |
| 416 | + | |
| 417 | + | |
| 418 | + | |
| 419 | + | |
411 | 420 |
| |
412 | 421 |
| |
413 | 422 |
| |
| |||
458 | 467 |
| |
459 | 468 |
| |
460 | 469 |
| |
| 470 | + | |
| 471 | + | |
| 472 | + | |
| 473 | + | |
461 | 474 |
| |
462 | 475 |
| |
463 | 476 |
| |
|
Lines changed: 41 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
| 21 | + | |
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
132 | 132 |
| |
133 | 133 |
| |
134 | 134 |
| |
135 |
| - | |
| 135 | + | |
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
| |||
413 | 413 |
| |
414 | 414 |
| |
415 | 415 |
| |
416 |
| - | |
| 416 | + | |
417 | 417 |
| |
418 | 418 |
| |
419 | 419 |
| |
|
Lines changed: 32 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
| 38 | + | |
39 | 39 |
| |
40 | 40 |
| |
41 | 41 |
| |
| |||
554 | 554 |
| |
555 | 555 |
| |
556 | 556 |
| |
557 |
| - | |
| 557 | + | |
| 558 | + | |
| 559 | + | |
| 560 | + | |
558 | 561 |
| |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
| 569 | + | |
| 570 | + | |
| 571 | + | |
559 | 572 |
| |
560 | 573 |
| |
561 | 574 |
| |
| |||
588 | 601 |
| |
589 | 602 |
| |
590 | 603 |
| |
| 604 | + | |
| 605 | + | |
591 | 606 |
| |
592 | 607 |
| |
593 | 608 |
| |
| |||
692 | 707 |
| |
693 | 708 |
| |
694 | 709 |
| |
695 |
| - | |
696 |
| - | |
697 |
| - | |
| 710 | + | |
| 711 | + | |
| 712 | + | |
| 713 | + | |
| 714 | + | |
| 715 | + | |
| 716 | + | |
| 717 | + | |
| 718 | + | |
| 719 | + | |
| 720 | + | |
698 | 721 |
| |
699 |
| - | |
700 | 722 |
| |
701 | 723 |
| |
702 | 724 |
| |
| |||
725 | 747 |
| |
726 | 748 |
| |
727 | 749 |
| |
728 |
| - | |
| 750 | + | |
729 | 751 |
| |
730 | 752 |
| |
731 | 753 |
| |
732 | 754 |
| |
733 | 755 |
| |
734 |
| - | |
| 756 | + | |
735 | 757 |
| |
736 | 758 |
| |
737 | 759 |
| |
| 760 | + | |
738 | 761 |
| |
739 |
| - | |
| 762 | + | |
740 | 763 |
| |
741 | 764 |
| |
742 | 765 |
| |
|
Lines changed: 21 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
226 | 226 |
| |
227 | 227 |
| |
228 | 228 |
| |
229 |
| - | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
230 | 236 |
| |
231 | 237 |
| |
232 | 238 |
| |
| |||
237 | 243 |
| |
238 | 244 |
| |
239 | 245 |
| |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
240 | 253 |
| |
241 | 254 |
| |
242 | 255 |
| |
| |||
252 | 265 |
| |
253 | 266 |
| |
254 | 267 |
| |
255 |
| - | |
| 268 | + | |
256 | 269 |
| |
257 | 270 |
| |
258 | 271 |
| |
| |||
271 | 284 |
| |
272 | 285 |
| |
273 | 286 |
| |
274 |
| - | |
| 287 | + | |
275 | 288 |
| |
276 | 289 |
| |
277 | 290 |
| |
| |||
284 | 297 |
| |
285 | 298 |
| |
286 | 299 |
| |
287 |
| - | |
| 300 | + | |
288 | 301 |
| |
289 | 302 |
| |
290 | 303 |
| |
| |||
293 | 306 |
| |
294 | 307 |
| |
295 | 308 |
| |
296 |
| - | |
| 309 | + | |
297 | 310 |
| |
298 | 311 |
| |
299 | 312 |
| |
| |||
302 | 315 |
| |
303 | 316 |
| |
304 | 317 |
| |
305 |
| - | |
| 318 | + | |
306 | 319 |
| |
307 | 320 |
| |
308 | 321 |
| |
| |||
319 | 332 |
| |
320 | 333 |
| |
321 | 334 |
| |
322 |
| - | |
| 335 | + | |
323 | 336 |
| |
324 | 337 |
| |
325 | 338 |
| |
| |||
333 | 346 |
| |
334 | 347 |
| |
335 | 348 |
| |
336 |
| - | |
| 349 | + | |
337 | 350 |
| |
338 | 351 |
| |
339 | 352 |
| |
|
0 commit comments