Repository navigation

Rollup of 9 pull requests - #147782

Merged

bors merged 41 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-9728xqu

Oct 16, 2025

Merged

Rollup of 9 pull requests#147782
bors merged 41 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-9728xqu

Commits on Oct 8, 2025
- tidy: allow stdlib to depend on moto-rt
  lasiotus
  committed
  8fad3a1
- Add Motor OS std library port
  lasiotus
  committed
  a828ffc
Commits on Oct 10, 2025
- Guard HIR lowered contracts with contract_checks
  dawidl022
  committed
  e4ead0e
- Guard HIR contracts based on compiler flag rather than lang_item
  dawidl022
  committed
  2d87527
- Remove no longer used contract_checks intrinsic
  dawidl022
  committed
  2a5dac7
- Wrap contract clauses in brances instead of parenthesis
  dawidl022
  committed
  a172a66
Commits on Oct 12, 2025
- Test cross-crate runtime contract checks
  dawidl022
  committed
  4d23c41
Commits on Oct 13, 2025
- use check_nondet helper in a few more places
  RalfJung
  committed
  12c0d69
- Merge pull request #4629 from RalfJung/check-nondet
  RalfJung
  authored
  42eb21c
Commits on Oct 14, 2025
- native-lib: support all types with Scalar layout
  RalfJung
  committed
  fe91820
- better error when native code tries to execute Rust function
  RalfJung
  committed
  2feb8bb
- Merge pull request #4628 from RalfJung/native-lib
  RalfJung
  authored
  0317934
Commits on Oct 15, 2025
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  75b60f1
- Merge ref '235a4c083eb2' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  bcef7d5
- fmt
  The Miri Cronjob Bot
  committed
  a9fc0ca
- don't debug-print an Any
  RalfJung
  committed
  1819f5e
- Merge pull request #4631 from rust-lang/rustup-2025-10-15
  RalfJung
  authored
  afa2315
- Merge pull request #4632 from RalfJung/supervisor-panic
  RalfJung
  authored
  a6705ea
- native-lib: bump libffi
  nia-e
  committed
  7c419e8
- avoid some Vector allocations
  RalfJung
  committed
  51cab7c
- Merge pull request #4634 from nia-e/new-libffi
  RalfJung
  authored
  a084f45
- remove duplicate inline macro
  henrichter
  committed
  1de9b49
- Prepare for merging from rust-lang/rust
  RalfJung
  committed
  0ecee8c
- Merge ref '28d0a4a205f9' from rust-lang/rust
  RalfJung
  committed
  7c28d96
- Don't highlight `let` expressions as having type `bool`
  pommicket
  committed
  984542c
- fix genmc build
  RalfJung
  committed
  952be8e
- Merge pull request #4635 from RalfJung/rustup
  RalfJung
  authored
  d458363
- update lockfile
  RalfJung
  committed
  2f04473
Commits on Oct 16, 2025

Commits

Commits on Oct 8, 2025

Commits on Oct 10, 2025

Commits on Oct 12, 2025

Commits on Oct 13, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025

Commits on Oct 16, 2025