File tree
245 files changed
+6907
-3480
lines changed- .github/workflows
- library- alloctests- tests- sort
 
 
- alloc/src- boxed
- collections- btree/map
 
- ffi
- raw_vec
- wtf8
 
- compiler-builtins- .github/workflows
- builtins-test- benches
- tests
 
- compiler-builtins- src- float
 
 
- crates/symbol-check/src
- etc
- libm/src/math
 
- coretests- benches
- tests- floats
- iter- adapters
- traits
 
- num
 
 
- core/src- array
- ascii
- bstr
- cell
- char
- cmp
- convert
- ffi
- fmt
- intrinsics
- iter- adapters
- traits
 
- mem
- net
- num- dec2flt
 
- ops
- panic
- pin
- ptr
- slice
- str
- sync
- task
- unicode
 
- portable-simd/crates/core_simd/src/simd/num
- std- src- collections/hash
- ffi
- fs
- io- buffered
 
- num
- os- cygwin
- net- linux_ext
 
- unix- net
 
- windows- io
 
 
- sync- mpmc
- nonpoison
- poison
 
- sys_common
- sys- alloc
- args
- fd
- fs
- net/connection- socket
 
- os_str
- pal- hermit
- sgx
- solid
- teeos
- uefi
- unix
- unsupported
- wasip1
- wasip2
- windows
- xous
- zkvm
 
- platform_version- darwin
 
- process/windows
- random
- stdio
 
 
- tests- floats
- sync
 
 
 
- scripts
- tool_config
- verifast-proofs/alloc/raw_vec/mod.rs- original
- verified
- with-directives
 
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
245 files changed
+6907
-3480
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 9 | 9 |  | |
| 10 | 10 |  | |
| 11 | 11 |  | |
| 12 |  | - | |
|  | 12 | + | |
| 13 | 13 |  | |
| 14 | 14 |  | |
| 15 | 15 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 198 | 198 |  | |
| 199 | 199 |  | |
| 200 | 200 |  | |
|  | 201 | + | |
| 201 | 202 |  | |
| 202 | 203 |  | |
| 203 | 204 |  | |
|  | |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 17 | 17 |  | |
| 18 | 18 |  | |
| 19 | 19 |  | |
| 20 |  | - | |
|  | 20 | + | |
|  | 21 | + | |
| 21 | 22 |  | |
| 22 | 23 |  | |
|  | 24 | + | |
| 23 | 25 |  | |
| 24 | 26 |  | |
| 25 | 27 |  | |
|  | |||
| 326 | 328 |  | |
| 327 | 329 |  | |
| 328 | 330 |  | |
| 329 |  | - | |
|  | 331 | + | |
|  | 332 | + | |
| 330 | 333 |  | |
| 331 |  | - | |
|  | 334 | + | |
| 332 | 335 |  | |
| 333 | 336 |  | |
| 334 | 337 |  | |
|  | |||
| 439 | 442 |  | |
| 440 | 443 |  | |
| 441 | 444 |  | |
| 442 |  | - | |
|  | 445 | + | |
|  | 446 | + | |
|  | 447 | + | |
|  | 448 | + | |
|  | 449 | + | |
| 443 | 450 |  | |
| 444 | 451 |  | |
| 445 | 452 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 2128 | 2128 |  | |
| 2129 | 2129 |  | |
| 2130 | 2130 |  | |
| 2131 |  | - | |
| 2132 |  | - | |
| 2133 |  | - | |
| 2134 |  | - | |
| 2135 |  | - | |
| 2136 | 2131 |  | |
| 2137 | 2132 |  | |
| 2138 | 2133 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 608 | 608 |  | |
| 609 | 609 |  | |
| 610 | 610 |  | |
| 611 |  | - | |
| 612 |  | - | |
| 613 |  | - | |
| 614 |  | - | |
| 615 |  | - | |
| 616 |  | - | |
|  | 611 | + | |
| 617 | 612 |  | |
| 618 | 613 |  | |
| 619 | 614 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 136 | 136 |  | |
| 137 | 137 |  | |
| 138 | 138 |  | |
| 139 |  | - | |
| 140 |  | - | |
| 141 |  | - | |
| 142 |  | - | |
| 143 | 139 |  | |
| 144 | 140 |  | |
| 145 | 141 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 128 | 128 |  | |
| 129 | 129 |  | |
| 130 | 130 |  | |
|  | 131 | + | |
| 131 | 132 |  | |
| 132 |  | - | |
|  | 133 | + | |
| 133 | 134 |  | |
| 134 | 135 |  | |
| 135 | 136 |  | |
| 136 | 137 |  | |
| 137 | 138 |  | |
| 138 | 139 |  | |
| 139 | 140 |  | |
|  | 141 | + | |
| 140 | 142 |  | |
| 141 |  | - | |
|  | 143 | + | |
| 142 | 144 |  | |
| 143 | 145 |  | |
| 144 | 146 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 1061 | 1061 |  | |
| 1062 | 1062 |  | |
| 1063 | 1063 |  | |
| 1064 |  | - | |
| 1065 |  | - | |
| 1066 |  | - | |
| 1067 |  | - | |
| 1068 |  | - | |
| 1069 |  | - | |
| 1070 | 1064 |  | |
| 1071 | 1065 |  | |
| 1072 |  | - | |
| 1073 | 1066 |  | |
| 1074 |  | - | |
|  | 1067 | + | |
| 1075 | 1068 |  | |
| 1076 | 1069 |  | |
| 1077 | 1070 |  | |
|  | |||
| 1291 | 1284 |  | |
| 1292 | 1285 |  | |
| 1293 | 1286 |  | |
| 1294 |  | - | |
| 1295 |  | - | |
| 1296 |  | - | |
| 1297 |  | - | |
| 1298 |  | - | |
| 1299 |  | - | |
|  | 1287 | + | |
| 1300 | 1288 |  | |
| 1301 | 1289 |  | |
| 1302 | 1290 |  | |
| 1303 | 1291 |  | |
| 1304 | 1292 |  | |
| 1305 | 1293 |  | |
| 1306 |  | - | |
| 1307 |  | - | |
| 1308 |  | - | |
| 1309 |  | - | |
| 1310 |  | - | |
| 1311 | 1294 |  | |
| 1312 | 1295 |  | |
| 1313 | 1296 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 354 | 354 |  | |
| 355 | 355 |  | |
| 356 | 356 |  | |
| 357 |  | - | |
|  | 357 | + | |
| 358 | 358 |  | |
| 359 | 359 |  | |
| 360 | 360 |  | |
|  | |||
0 commit comments