This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
25 files changed
+233
-94
lines changed- src/tools/miri
- .github/workflows
- bench-cargo-miri/mse/src
- cargo-miri/src
- ci
- src
- alloc_addresses
- concurrency
- shims
- unix
- tests
- fail/shims
- pass-dep
- concurrency
- libc
- pass
25 files changed
+233
-94
lines changedLines changed: 2 additions & 28 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
535 | 535 |
| |
536 | 536 |
| |
537 | 537 |
| |
538 |
| - | |
| 538 | + | |
539 | 539 |
| |
540 | 540 |
| |
541 | 541 |
| |
| |||
2262 | 2262 |
| |
2263 | 2263 |
| |
2264 | 2264 |
| |
2265 |
| - | |
| 2265 | + | |
2266 | 2266 |
| |
2267 | 2267 |
| |
2268 | 2268 |
| |
| |||
5508 | 5508 |
| |
5509 | 5509 |
| |
5510 | 5510 |
| |
5511 |
| - | |
5512 |
| - | |
5513 |
| - | |
5514 |
| - | |
5515 |
| - | |
5516 |
| - | |
5517 |
| - | |
5518 |
| - | |
5519 |
| - | |
5520 |
| - | |
5521 |
| - | |
5522 |
| - | |
5523 |
| - | |
5524 |
| - | |
5525 |
| - | |
5526 |
| - | |
5527 |
| - | |
5528 |
| - | |
5529 |
| - | |
5530 |
| - | |
5531 |
| - | |
5532 |
| - | |
5533 |
| - | |
5534 |
| - | |
5535 |
| - | |
5536 |
| - | |
5537 | 5511 |
| |
5538 | 5512 |
| |
5539 | 5513 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1079 | 1079 |
| |
1080 | 1080 |
| |
1081 | 1081 |
| |
1082 |
| - | |
| 1082 | + | |
1083 | 1083 |
| |
1084 |
| - | |
| 1084 | + | |
1085 | 1085 |
| |
1086 | 1086 |
| |
1087 | 1087 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
47 | 47 |
| |
48 | 48 |
| |
49 | 49 |
| |
50 |
| - | |
| 50 | + | |
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
237 | 237 |
| |
238 | 238 |
| |
239 | 239 |
| |
240 |
| - | |
241 |
| - | |
| 240 | + | |
242 | 241 |
| |
243 | 242 |
| |
244 | 243 |
| |
| |||
432 | 431 |
| |
433 | 432 |
| |
434 | 433 |
| |
435 |
| - | |
| 434 | + | |
| 435 | + | |
436 | 436 |
| |
437 | 437 |
| |
438 | 438 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
467 | 467 |
| |
468 | 468 |
| |
469 | 469 |
| |
470 |
| - | |
| 470 | + | |
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
166 | 166 |
| |
167 | 167 |
| |
168 | 168 |
| |
169 |
| - | |
| 169 | + | |
170 | 170 |
| |
171 | 171 |
| |
172 | 172 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 5 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
170 | 170 |
| |
171 | 171 |
| |
172 | 172 |
| |
173 |
| - | |
| 173 | + | |
174 | 174 |
| |
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
179 | 179 |
| |
180 |
| - | |
| 180 | + | |
181 | 181 |
| |
182 | 182 |
| |
183 | 183 |
| |
184 | 184 |
| |
185 | 185 |
| |
186 | 186 |
| |
| 187 | + | |
| 188 | + | |
187 | 189 |
| |
188 | 190 |
| |
189 | 191 |
| |
| |||
381 | 383 |
| |
382 | 384 |
| |
383 | 385 |
| |
| 386 | + | |
384 | 387 |
| |
385 | 388 |
| |
386 | 389 |
| |
|
0 commit comments