This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
8 files changed
+67
-66
lines changed- .github/workflows
- benches/helpers
- cargo-miri
- src
- shims
- posix
8 files changed
+67
-66
lines changedLines changed: 27 additions & 28 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
75 |
| - | |
| 75 | + | |
76 | 76 |
| |
77 |
| - | |
| 77 | + | |
78 | 78 |
| |
79 |
| - | |
80 |
| - | |
81 |
| - | |
82 |
| - | |
83 |
| - | |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 |
| - | |
89 | 79 |
| |
90 | 80 |
| |
91 | 81 |
| |
| |||
97 | 87 |
| |
98 | 88 |
| |
99 | 89 |
| |
100 |
| - | |
| 90 | + | |
101 | 91 |
| |
102 | 92 |
| |
103 | 93 |
| |
104 | 94 |
| |
105 |
| - | |
106 |
| - | |
107 |
| - | |
108 |
| - | |
109 |
| - | |
110 |
| - | |
111 |
| - | |
112 |
| - | |
113 |
| - | |
114 |
| - | |
115 |
| - | |
116 |
| - | |
117 |
| - | |
118 |
| - | |
119 |
| - | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
120 | 119 |
| |
121 | 120 |
| |
122 | 121 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
|
Lines changed: 25 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
96 | 98 |
| |
97 | 99 |
| |
98 | 100 |
| |
| 101 | + | |
| 102 | + | |
| 103 | + | |
99 | 104 |
| |
100 | 105 |
| |
101 | 106 |
| |
| |||
135 | 140 |
| |
136 | 141 |
| |
137 | 142 |
| |
138 |
| - | |
| 143 | + | |
139 | 144 |
| |
140 |
| - | |
141 | 145 |
| |
142 | 146 |
| |
143 | 147 |
| |
144 |
| - | |
| 148 | + | |
145 | 149 |
| |
146 |
| - | |
147 |
| - | |
| 150 | + | |
148 | 151 |
| |
149 | 152 |
| |
150 | 153 |
| |
| |||
255 | 258 |
| |
256 | 259 |
| |
257 | 260 |
| |
258 |
| - | |
| 261 | + | |
259 | 262 |
| |
260 | 263 |
| |
261 | 264 |
| |
| |||
285 | 288 |
| |
286 | 289 |
| |
287 | 290 |
| |
288 |
| - | |
| 291 | + | |
289 | 292 |
| |
290 | 293 |
| |
291 | 294 |
| |
| |||
311 | 314 |
| |
312 | 315 |
| |
313 | 316 |
| |
314 |
| - | |
| 317 | + | |
315 | 318 |
| |
316 | 319 |
| |
317 | 320 |
| |
| |||
499 | 502 |
| |
500 | 503 |
| |
501 | 504 |
| |
502 |
| - | |
503 |
| - | |
504 |
| - | |
505 |
| - | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
| 508 | + | |
| 509 | + | |
506 | 510 |
| |
507 | 511 |
| |
508 | 512 |
| |
| |||
524 | 528 |
| |
525 | 529 |
| |
526 | 530 |
| |
527 |
| - | |
| 531 | + | |
528 | 532 |
| |
529 | 533 |
| |
530 |
| - | |
531 |
| - | |
| 534 | + | |
| 535 | + | |
532 | 536 |
| |
533 | 537 |
| |
534 | 538 |
| |
| |||
708 | 712 |
| |
709 | 713 |
| |
710 | 714 |
| |
711 |
| - | |
| 715 | + | |
712 | 716 |
| |
713 | 717 |
| |
714 | 718 |
| |
| |||
808 | 812 |
| |
809 | 813 |
| |
810 | 814 |
| |
811 |
| - | |
| 815 | + | |
812 | 816 |
| |
813 |
| - | |
814 |
| - | |
815 |
| - | |
| 817 | + | |
| 818 | + | |
816 | 819 |
| |
817 | 820 |
| |
818 | 821 |
| |
| |||
937 | 940 |
| |
938 | 941 |
| |
939 | 942 |
| |
940 |
| - | |
941 |
| - | |
| 943 | + | |
942 | 944 |
| |
943 | 945 |
| |
944 |
| - | |
945 |
| - | |
| 946 | + | |
946 | 947 |
| |
947 | 948 |
| |
948 | 949 |
| |
|
Lines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
| 15 | + | |
| 16 | + | |
15 | 17 |
| |
16 | 18 |
| |
17 | 19 |
| |
| |||
28 | 30 |
| |
29 | 31 |
| |
30 | 32 |
| |
| 33 | + | |
31 | 34 |
| |
32 | 35 |
| |
33 | 36 |
| |
| |||
39 | 42 |
| |
40 | 43 |
| |
41 | 44 |
| |
42 |
| - | |
| 45 | + | |
43 | 46 |
| |
44 | 47 |
| |
45 | 48 |
| |
|
Lines changed: 2 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 | 10 |
| |
12 | 11 |
| |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
16 |
| - | |
17 |
| - | |
18 | 15 |
| |
19 |
| - | |
20 | 16 |
| |
21 | 17 |
| |
22 |
| - | |
| 18 | + | |
| 19 | + | |
23 | 20 |
| |
24 | 21 |
| |
25 | 22 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
89 | 89 |
| |
90 | 90 |
| |
91 | 91 |
| |
92 |
| - | |
| 92 | + | |
93 | 93 |
| |
94 |
| - | |
95 |
| - | |
| 94 | + | |
| 95 | + | |
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1389 | 1389 |
| |
1390 | 1390 |
| |
1391 | 1391 |
| |
1392 |
| - | |
| 1392 | + | |
1393 | 1393 |
| |
1394 | 1394 |
| |
1395 | 1395 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
535 | 535 |
| |
536 | 536 |
| |
537 | 537 |
| |
538 |
| - | |
539 |
| - | |
540 |
| - | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
541 | 541 |
| |
542 | 542 |
| |
543 | 543 |
| |
| |||
642 | 642 |
| |
643 | 643 |
| |
644 | 644 |
| |
| 645 | + | |
645 | 646 |
| |
646 | 647 |
| |
647 | 648 |
| |
|
0 commit comments