File tree
710 files changed
+1901
-2005
lines changed- src/tools/miri
- miri-script/src
- 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.
710 files changed
+1901
-2005
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | | - | |
| 42 | + | |
43 | 43 | | |
44 | | - | |
| 44 | + | |
45 | 45 | | |
| 46 | + | |
46 | 47 | | |
47 | | - | |
48 | 48 | | |
49 | 49 | | |
50 | 50 | | |
51 | | - | |
52 | | - | |
| 51 | + | |
| 52 | + | |
53 | 53 | | |
54 | | - | |
55 | | - | |
56 | | - | |
57 | | - | |
| 54 | + | |
58 | 55 | | |
59 | 56 | | |
60 | 57 | | |
| |||
126 | 123 | | |
127 | 124 | | |
128 | 125 | | |
129 | | - | |
| 126 | + | |
130 | 127 | | |
131 | | - | |
| 128 | + | |
132 | 129 | | |
133 | 130 | | |
134 | 131 | | |
| |||
737 | 734 | | |
738 | 735 | | |
739 | 736 | | |
740 | | - | |
| 737 | + | |
741 | 738 | | |
742 | | - | |
| 739 | + | |
743 | 740 | | |
744 | | - | |
| 741 | + | |
745 | 742 | | |
746 | 743 | | |
747 | 744 | | |
| |||
865 | 862 | | |
866 | 863 | | |
867 | 864 | | |
868 | | - | |
| 865 | + | |
869 | 866 | | |
870 | | - | |
| 867 | + | |
871 | 868 | | |
872 | | - | |
873 | | - | |
874 | 869 | | |
875 | 870 | | |
| 871 | + | |
| 872 | + | |
876 | 873 | | |
877 | 874 | | |
878 | 875 | | |
| |||
962 | 959 | | |
963 | 960 | | |
964 | 961 | | |
| 962 | + | |
| 963 | + | |
| 964 | + | |
| 965 | + | |
| 966 | + | |
| 967 | + | |
| 968 | + | |
| 969 | + | |
| 970 | + | |
| 971 | + | |
965 | 972 | | |
966 | 973 | | |
967 | 974 | | |
| |||
1065 | 1072 | | |
1066 | 1073 | | |
1067 | 1074 | | |
1068 | | - | |
| 1075 | + | |
1069 | 1076 | | |
1070 | | - | |
| 1077 | + | |
1071 | 1078 | | |
1072 | 1079 | | |
1073 | 1080 | | |
| |||
1079 | 1086 | | |
1080 | 1087 | | |
1081 | 1088 | | |
1082 | | - | |
1083 | 1089 | | |
1084 | 1090 | | |
1085 | 1091 | | |
1086 | 1092 | | |
1087 | 1093 | | |
1088 | 1094 | | |
1089 | 1095 | | |
1090 | | - | |
| 1096 | + | |
1091 | 1097 | | |
1092 | 1098 | | |
1093 | 1099 | | |
| |||
1120 | 1126 | | |
1121 | 1127 | | |
1122 | 1128 | | |
1123 | | - | |
1124 | | - | |
1125 | | - | |
1126 | | - | |
1127 | | - | |
1128 | | - | |
1129 | | - | |
1130 | | - | |
1131 | | - | |
1132 | | - | |
1133 | | - | |
1134 | | - | |
1135 | | - | |
1136 | | - | |
1137 | | - | |
1138 | | - | |
1139 | | - | |
1140 | | - | |
1141 | | - | |
1142 | | - | |
1143 | | - | |
1144 | | - | |
1145 | 1129 | | |
1146 | 1130 | | |
1147 | 1131 | | |
| |||
1281 | 1265 | | |
1282 | 1266 | | |
1283 | 1267 | | |
1284 | | - | |
1285 | | - | |
1286 | | - | |
1287 | | - | |
1288 | | - | |
1289 | | - | |
1290 | | - | |
1291 | | - | |
1292 | | - | |
1293 | 1268 | | |
1294 | 1269 | | |
1295 | 1270 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
49 | 49 | | |
50 | 50 | | |
51 | 51 | | |
52 | | - | |
| 52 | + | |
53 | 53 | | |
54 | 54 | | |
55 | 55 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
503 | 503 | | |
504 | 504 | | |
505 | 505 | | |
506 | | - | |
507 | | - | |
508 | | - | |
| 506 | + | |
| 507 | + | |
| 508 | + | |
| 509 | + | |
| 510 | + | |
| 511 | + | |
| 512 | + | |
509 | 513 | | |
510 | 514 | | |
511 | 515 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
Lines changed: 2 additions & 2 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 | 11 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
Lines changed: 2 additions & 2 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 | 11 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
Lines changed: 2 additions & 2 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 | 11 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments