File tree
743 files changed
+2705
-2536
lines changed- .github/workflows
- ci
- miri-script
- src
- src
- concurrency
- shims
- unix
- linux
- macos
- windows
- test_dependencies
- 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
- should-pass
- stacked_borrows
- tail_calls
- tls
- tree_borrows
- reserved
- unaligned_pointers
- uninit
- validity
- weak_memory
- native-lib
- fail
- pass
- panic
- function_calls
- pass-dep
- concurrency
- libc
- tokio
- pass
- backtrace
- concurrency
- function_calls
- issues
- panic
- shims
- x86
- stacked-borrows
- tls
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
743 files changed
+2705
-2536
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
|
Lines changed: 28 additions & 53 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 | |
---|---|---|---|
| |||
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 |
| - | |
| 52 | + | |
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
187 | 187 |
| |
188 | 188 |
| |
189 | 189 |
| |
190 |
| - | |
| 190 | + | |
191 | 191 |
| |
192 | 192 |
| |
193 | 193 |
| |
| |||
216 | 216 |
| |
217 | 217 |
| |
218 | 218 |
| |
| 219 | + | |
219 | 220 |
| |
220 | 221 |
| |
221 |
| - | |
222 | 222 |
| |
223 | 223 |
| |
224 | 224 |
| |
|
Lines changed: 9 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 |
| - | |
| 29 | + | |
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
| |||
75 | 75 |
| |
76 | 76 |
| |
77 | 77 |
| |
| 78 | + | |
| 79 | + | |
78 | 80 |
| |
79 | 81 |
| |
80 | 82 |
| |
| |||
148 | 150 |
| |
149 | 151 |
| |
150 | 152 |
| |
151 |
| - | |
152 |
| - | |
153 |
| - | |
154 |
| - | |
155 |
| - | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
156 | 158 |
| |
157 | 159 |
| |
158 | 160 |
| |
|
0 commit comments