]> git.lizzy.rs Git - rust.git/commit
Merge from rustc
authorRalf Jung <post@ralfj.de>
Sat, 24 Dec 2022 09:12:14 +0000 (10:12 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 24 Dec 2022 09:12:14 +0000 (10:12 +0100)
commit9c01e9f7f56694db0179673fca221358d3524903
tree7a64babe493c9e88f72cfd2eead7fccadd304e0a
parent0c14ad4d9fe83e737d7b8db0c2520ef54c99926e
parent4f4d0586ad20c66a16d547581ca379beafece93a
Merge from rustc
12 files changed:
src/tools/miri/README.md
src/tools/miri/src/eval.rs
src/tools/miri/src/shims/env.rs
src/tools/miri/src/shims/foreign_items.rs
src/tools/miri/src/shims/unix/foreign_items.rs
src/tools/miri/src/shims/unix/fs.rs
src/tools/miri/src/shims/unix/linux/foreign_items.rs
src/tools/miri/src/shims/unix/macos/foreign_items.rs
src/tools/miri/src/shims/unix/thread.rs
src/tools/miri/src/shims/windows/foreign_items.rs
src/tools/miri/src/shims/windows/sync.rs
src/tools/miri/src/shims/windows/thread.rs