Skip to content
Closed
Changes from 1 commit
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
8fad3a1
tidy: allow stdlib to depend on moto-rt
lasiotus Sep 24, 2025
a828ffc
Add Motor OS std library port
lasiotus Oct 8, 2025
12c0d69
use check_nondet helper in a few more places
RalfJung Oct 13, 2025
42eb21c
Merge pull request #4629 from RalfJung/check-nondet
RalfJung Oct 13, 2025
fe91820
native-lib: support all types with Scalar layout
RalfJung Oct 14, 2025
2feb8bb
better error when native code tries to execute Rust function
RalfJung Oct 14, 2025
0317934
Merge pull request #4628 from RalfJung/native-lib
RalfJung Oct 14, 2025
75b60f1
Prepare for merging from rust-lang/rust
Oct 15, 2025
bcef7d5
Merge ref '235a4c083eb2' from rust-lang/rust
Oct 15, 2025
a9fc0ca
fmt
Oct 15, 2025
1819f5e
don't debug-print an Any
RalfJung Oct 15, 2025
afa2315
Merge pull request #4631 from rust-lang/rustup-2025-10-15
RalfJung Oct 15, 2025
a6705ea
Merge pull request #4632 from RalfJung/supervisor-panic
RalfJung Oct 15, 2025
7c419e8
native-lib: bump libffi
nia-e Oct 15, 2025
51cab7c
avoid some Vector allocations
RalfJung Oct 15, 2025
a084f45
Merge pull request #4634 from nia-e/new-libffi
RalfJung Oct 15, 2025
1de9b49
remove duplicate inline macro
henrichter Oct 15, 2025
0ecee8c
Prepare for merging from rust-lang/rust
RalfJung Oct 15, 2025
7c28d96
Merge ref '28d0a4a205f9' from rust-lang/rust
RalfJung Oct 15, 2025
984542c
Don't highlight `let` expressions as having type `bool`
pommicket Oct 15, 2025
952be8e
fix genmc build
RalfJung Oct 15, 2025
1bfec9f
Fix whitespace in rustfmt-excluded clippy file
Diggsey Oct 15, 2025
d458363
Merge pull request #4635 from RalfJung/rustup
RalfJung Oct 15, 2025
2f04473
update lockfile
RalfJung Oct 15, 2025
8787c0b
Use `bit_set::Word` in a couple more places.
nnethercote Oct 16, 2025
74ac3ec
style-guide: fix typo for empty struct advice
fee1-dead Oct 16, 2025
a522048
Rollup merge of #147000 - moturus:motor-os_stdlib_pr, r=tgross35
matthiaskrgr Oct 16, 2025
9e48c85
Rollup merge of #147732 - h3nryc0ding:master, r=chenyukang
matthiaskrgr Oct 16, 2025
19c6fea
Rollup merge of #147738 - pommicket:issue-147665, r=madsmtm
matthiaskrgr Oct 16, 2025
ae62074
Rollup merge of #147739 - Diggsey:db-fix-clippy-whitespace, r=samuelt…
matthiaskrgr Oct 16, 2025
f26753d
Rollup merge of #147744 - RalfJung:miri, r=RalfJung
matthiaskrgr Oct 16, 2025
84063bd
Rollup merge of #147751 - nnethercote:bit_set-Word, r=Zalathar
matthiaskrgr Oct 16, 2025
2e64881
Rollup merge of #147752 - fee1-dead-contrib:sgtypo, r=chenyukang
matthiaskrgr Oct 16, 2025
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
Prev Previous commit
Next Next commit
Merge ref '28d0a4a205f9' from rust-lang/rust
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 28d0a4a
Filtered ref: 310e49750b70768361f78966c10be9716a300784
Upstream diff: 235a4c0...28d0a4a

This merge was created using https://github.com/rust-lang/josh-sync.
  • Loading branch information
RalfJung committed Oct 15, 2025
commit 7c28d96b7abf7126ee22a62a589778e69d1fccd0
1 change: 1 addition & 0 deletions src/tools/miri/src/shims/native_lib/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ use std::sync::atomic::AtomicBool;
use libffi::low::CodePtr;
use libffi::middle::Type as FfiType;
use rustc_abi::{HasDataLayout, Size};
use rustc_data_structures::either;
use rustc_middle::ty::layout::TyAndLayout;
use rustc_middle::ty::{self, IntTy, Ty, UintTy};
use rustc_span::Symbol;
Expand Down
You are viewing a condensed version of this merge commit. You can view the full changes here.