Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
dfc5fd5
Add `getsockname` shim for connecting and connected sockets
WhySoBad Apr 29, 2026
fdab736
Prepare for merging from rust-lang/rust
May 4, 2026
a1d0754
Merge ref '045b17737dab' from rust-lang/rust
May 4, 2026
eb5adcc
Merge pull request #5002 from rust-lang/rustup-2026-05-04
oli-obk May 4, 2026
8948418
Merge pull request #4985 from WhySoBad/network-socket-getsockname-for…
RalfJung May 4, 2026
c79b2c4
avoid underflow in std::Instant when computing times before program s…
RalfJung May 4, 2026
342fd9e
Merge pull request #5003 from RalfJung/time-underflow
RalfJung May 4, 2026
8e91dd7
fix: remove `WSAESHUTDOWN` workaround for socket writes
WhySoBad May 4, 2026
8b1b282
Merge pull request #5004 from WhySoBad/network-socket-remove-wsa-erro…
RalfJung May 4, 2026
38f567f
Add epoll integration for network sockets
WhySoBad Apr 20, 2026
5e796af
Merge pull request #4973 from WhySoBad/network-socket-epoll-new
RalfJung May 6, 2026
81d92de
Add `getaddrinfo` and `freeaddrinfo` shims
WhySoBad Apr 28, 2026
8e9c315
Merge pull request #4984 from WhySoBad/network-socket-dns
RalfJung May 6, 2026
27def62
Prepare for merging from rust-lang/rust
May 7, 2026
a7313f1
Merge ref '4ddd4538a881' from rust-lang/rust
May 7, 2026
cdc427a
fmt
May 7, 2026
172929a
bless genmc tests
RalfJung May 7, 2026
5721600
Merge pull request #5006 from rust-lang/rustup-2026-05-07
oli-obk May 7, 2026
f9bc18d
try to remove generic normalization from backtraces
RalfJung May 7, 2026
289b5af
Prepare for merging from rust-lang/rust
RalfJung May 7, 2026
4a44dc0
Merge ref '32bd660612bf' from rust-lang/rust
RalfJung May 7, 2026
4a771e4
remove QueryPerformanceCounter work-around
RalfJung May 7, 2026
c5d2ac9
Merge pull request #5008 from RalfJung/remove-windows-time-workaround
RalfJung May 7, 2026
e986232
Prepare for merging from rust-lang/rust
May 8, 2026
faa7656
Merge ref '63b1dfc0e00f' from rust-lang/rust
May 8, 2026
38f3687
Merge pull request #5010 from rust-lang/rustup-2026-05-08
oli-obk May 8, 2026
bba4079
Add simple `getsockopt` shim for TTL and SO_ERROR
WhySoBad Apr 21, 2026
5505d77
Merge pull request #5005 from WhySoBad/network-socket-getsockopt
RalfJung May 8, 2026
29852b2
cargo: Remove deprecated package authors field
xtqqczze May 8, 2026
d3a8c27
Merge pull request #5007 from RalfJung/backtrace-generics
oli-obk May 8, 2026
556645f
Merge pull request #5011 from xtqqczze/cargo-authors
RalfJung May 9, 2026
b2afb17
rename and adjust some libc utils for better consistency with std
RalfJung May 8, 2026
be7dece
Merge pull request #5012 from RalfJung/libc-helpers
RalfJung May 9, 2026
ea6eaab
fstat: expose permissions in 'mode' field
RalfJung May 9, 2026
9c42644
support chmod and fchmod on unix hosts
RalfJung May 9, 2026
e549493
try_errnum_to_io_error: better support for unix targets on unix hosts
RalfJung May 9, 2026
c2bb45e
Merge pull request #5014 from RalfJung/permissions
RalfJung May 9, 2026
f48ca58
Merge pull request #5016 from RalfJung/try_errnum_to_io_error
RalfJung May 9, 2026
498c850
std_miri_test hack is not needed any more
RalfJung May 10, 2026
6f0005e
add gnu_get_libc_version stub for getaddrinfo error path
RalfJung May 10, 2026
2c1e114
./miri install: add --locked by default
RalfJung May 10, 2026
5b80eda
Merge pull request #5021 from RalfJung/gnu_get_libc_version
RalfJung May 10, 2026
1dca18d
Merge pull request #5020 from RalfJung/locked
RalfJung May 10, 2026
f83b976
try_errnum_to_io_error: support all POSIX error codes
RalfJung May 10, 2026
46d2c71
Merge pull request #5022 from RalfJung/direct-errno-translation
RalfJung May 10, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion src/tools/miri/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
[package]
authors = ["Miri Team"]
description = "An experimental interpreter for Rust MIR (core driver)."
license = "MIT OR Apache-2.0"
name = "miri"
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/bench-cargo-miri/mse/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
[package]
name = "mse"
version = "0.1.0"
authors = ["Ralf Jung <post@ralfj.de>"]
edition = "2018"

[dependencies]
1 change: 0 additions & 1 deletion src/tools/miri/bench-cargo-miri/serde1/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
[package]
name = "cargo-miri-test"
version = "0.1.0"
authors = ["Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>"]
edition = "2018"

[dependencies]
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/bench-cargo-miri/serde2/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
[package]
name = "cargo-miri-test"
version = "0.1.0"
authors = ["Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>"]
edition = "2018"

[dependencies]
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/cargo-miri/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
[package]
authors = ["Miri Team"]
description = "An experimental interpreter for Rust MIR (cargo wrapper)."
license = "MIT OR Apache-2.0"
name = "cargo-miri"
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/genmc-sys/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
[package]
authors = ["Miri Team"]
license = "MIT OR Apache-2.0"
name = "genmc-sys"
version = "0.1.0"
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/miri-script/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
[package]
authors = ["Miri Team"]
description = "Helpers for miri maintenance"
license = "MIT OR Apache-2.0"
name = "miri-script"
Expand Down
6 changes: 5 additions & 1 deletion src/tools/miri/miri-script/src/util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -157,7 +157,11 @@ impl MiriEnv {
let features = features_to_args(features);
// Install binaries to the miri toolchain's `sysroot` so they do not interact with other toolchains.
// (Not using `cargo_cmd` as `install` is special and doesn't use `--manifest-path`.)
cmd!(self.sh, "{cargo_bin} +{toolchain} install {cargo_extra_flags...} --path {path} --force --root {sysroot} {features...} {args...}").run()?;
// Adding `--locked` so that behavior is closer to `./miri build`. However, cargo doesn't
// like `--locked --locked` so we need extra logic to avoid that.
let locked_flag =
if cargo_extra_flags.iter().any(|f| f == "--locked") { None } else { Some("--locked") };
cmd!(self.sh, "{cargo_bin} +{toolchain} install {locked_flag...} {cargo_extra_flags...} --path {path} --force --root {sysroot} {features...} {args...}").run()?;
Ok(())
}

Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/rust-version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
44860d3e9ef700cac0b4a61d924f41f46bf1b447
63b1dfc0e00fd6f8ad7cd8817fc712e7d9b7be59
Loading
Loading