File tree
60 files changed
+1645
-778
lines changed- src/tools/miri
- .github/workflows
- cargo-miri/src
- miri-script
- src
- src
- borrow_tracker
- stacked_borrows
- tree_borrows
- tests
- fail
- both_borrows
- function_calls
- stacked_borrows
- tree_borrows
- reserved
- unaligned_pointers
- pass
- issues
- shims
- stacked-borrows
- tree_borrows
- pass-dep/shims
- utils
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
60 files changed
+1645
-778
lines changedDiff for: src/tools/miri/.github/workflows/ci.yml
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
130 | 130 |
| |
131 | 131 |
| |
132 | 132 |
| |
133 |
| - | |
| 133 | + | |
134 | 134 |
| |
135 | 135 |
| |
136 | 136 |
| |
|
Diff for: src/tools/miri/CONTRIBUTING.md
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
107 | 107 |
| |
108 | 108 |
| |
109 | 109 |
| |
110 |
| - | |
| 110 | + | |
111 | 111 |
| |
112 | 112 |
| |
113 | 113 |
| |
|
Diff for: src/tools/miri/cargo-miri/src/main.rs
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
59 |
| - | |
| 59 | + | |
60 | 60 |
| |
61 | 61 |
| |
62 | 62 |
| |
|
Diff for: src/tools/miri/cargo-miri/src/phases.rs
+5-4
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
| |||
159 | 159 |
| |
160 | 160 |
| |
161 | 161 |
| |
| 162 | + | |
| 163 | + | |
162 | 164 |
| |
163 | 165 |
| |
164 | 166 |
| |
| |||
519 | 521 |
| |
520 | 522 |
| |
521 | 523 |
| |
522 |
| - | |
| 524 | + | |
523 | 525 |
| |
524 | 526 |
| |
525 | 527 |
| |
| |||
538 | 540 |
| |
539 | 541 |
| |
540 | 542 |
| |
541 |
| - | |
542 |
| - | |
| 543 | + | |
543 | 544 |
| |
544 | 545 |
| |
545 | 546 |
| |
|
Diff for: src/tools/miri/cargo-miri/src/setup.rs
+16-7
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
17 | 22 |
| |
18 | 23 |
| |
19 | 24 |
| |
20 |
| - | |
21 |
| - | |
22 |
| - | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
23 | 30 |
| |
24 | 31 |
| |
25 | 32 |
| |
| |||
92 | 99 |
| |
93 | 100 |
| |
94 | 101 |
| |
| 102 | + | |
| 103 | + | |
95 | 104 |
| |
96 | 105 |
| |
97 | 106 |
| |
| |||
105 | 114 |
| |
106 | 115 |
| |
107 | 116 |
| |
108 |
| - | |
| 117 | + | |
109 | 118 |
| |
110 | 119 |
| |
111 | 120 |
| |
| |||
117 | 126 |
| |
118 | 127 |
| |
119 | 128 |
| |
120 |
| - | |
121 |
| - | |
122 | 129 |
| |
123 | 130 |
| |
124 | 131 |
| |
| |||
159 | 166 |
| |
160 | 167 |
| |
161 | 168 |
| |
| 169 | + | |
| 170 | + | |
162 | 171 |
|
Diff for: src/tools/miri/cargo-miri/src/util.rs
+6-39
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 |
| - | |
5 | 3 |
| |
6 | 4 |
| |
7 | 5 |
| |
| |||
114 | 112 |
| |
115 | 113 |
| |
116 | 114 |
| |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
117 | 120 |
| |
118 | 121 |
| |
119 | 122 |
| |
| |||
242 | 245 |
| |
243 | 246 |
| |
244 | 247 |
| |
245 |
| - | |
246 |
| - | |
247 |
| - | |
248 |
| - | |
249 |
| - | |
250 |
| - | |
251 |
| - | |
252 |
| - | |
253 |
| - | |
254 |
| - | |
255 |
| - | |
256 |
| - | |
257 |
| - | |
258 |
| - | |
259 |
| - | |
260 |
| - | |
261 |
| - | |
262 | 248 |
| |
263 | 249 |
| |
264 | 250 |
| |
265 | 251 |
| |
266 | 252 |
| |
267 |
| - | |
268 |
| - | |
269 |
| - | |
270 |
| - | |
271 |
| - | |
272 |
| - | |
273 |
| - | |
274 |
| - | |
275 |
| - | |
276 |
| - | |
277 |
| - | |
278 |
| - | |
279 |
| - | |
280 |
| - | |
281 |
| - | |
282 |
| - | |
283 |
| - | |
284 |
| - | |
285 |
| - | |
286 |
| - | |
| 253 | + | |
287 | 254 |
|
0 commit comments