forked from model-checking/verify-rust-std
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit ad2725f
std: move network code into
As per rust-lang#117276, this PR moves `sys_common::net` and the `sys::pal::net` into the newly created `sys::net` module. In order to support rust-lang#135141, I've moved all the current network code into a separate `connection` module, future functions like `hostname` can live in separate modules.
I'll probably do a follow-up PR and clean up some of the actual code, this is mostly just a reorganization.sys
1 parent 872d2d5 commit ad2725f
File tree
41 files changed
+113
-1036
lines changed- std/src
- net
- os
- fd
- hermit/io
- solid
- windows/io
- sys_common
- sys
- net
- connection
- socket
- xous
- pal
- hermit
- sgx
- solid
- teeos
- uefi
- unix
- unsupported
- wasip2
- wasi
- wasm
- windows
- xous
- zkvm
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
41 files changed
+113
-1036
lines changedLines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 | - | ||
10 | - | ||
9 | + | ||
11 | 10 |
| |
12 | 11 |
| |
13 | 12 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 | - | ||
18 | + | ||
19 | + | ||
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 | - | ||
15 | + | ||
16 | + | ||
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
|
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 |
| |
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 | - | ||
27 | + | ||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
26 | - | ||
26 | + | ||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 | - | ||
51 | + | ||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| |||
387 | 387 |
| |
388 | 388 |
| |
389 | 389 |
| |
390 | - | ||
390 | + | ||
391 | 391 |
| |
392 | 392 |
| |
393 | 393 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 | - | ||
9 | + | ||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| |||
262 | 262 |
| |
263 | 263 |
| |
264 | 264 |
| |
265 | - | ||
265 | + | ||
266 | 266 |
| |
267 | 267 |
| |
268 | 268 |
| |
| |||
272 | 272 |
| |
273 | 273 |
| |
274 | 274 |
| |
275 | - | ||
275 | + | ||
276 | 276 |
| |
277 | 277 |
| |
278 | 278 |
| |
| |||
282 | 282 |
| |
283 | 283 |
| |
284 | 284 |
| |
285 | - | ||
285 | + | ||
286 | 286 |
| |
287 | 287 |
| |
288 | 288 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 | + | ||
15 | 16 |
| |
16 | 17 |
| |
17 | 18 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | - | ||
2 | 1 |
| |
3 | 2 |
| |
4 | 3 |
| |
4 | + | ||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
|
Lines changed: 25 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 | - | ||
9 | 8 |
| |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
12 | + | ||
13 | + | ||
14 | + | ||
15 | + | ||
16 | + | ||
17 | + | ||
18 | + | ||
19 | + | ||
20 | + | ||
21 | + | ||
22 | + | ||
23 | + | ||
24 | + | ||
25 | + | ||
26 | + | ||
27 | + | ||
28 | + | ||
29 | + | ||
30 | + | ||
31 | + | ||
32 | + | ||
13 | 33 |
| |
14 | 34 |
| |
15 | 35 |
| |
| |||
24 | 44 |
| |
25 | 45 |
| |
26 | 46 |
| |
27 | - | ||
28 | - | ||
47 | + | ||
48 | + | ||
29 | 49 |
| |
30 | - | ||
31 | - | ||
50 | + | ||
51 | + | ||
32 | 52 |
| |
33 | 53 |
| |
34 | 54 |
| |
|
0 commit comments