Repository navigation

Rollup of 4 pull requests - #104990

Merged

bors merged 48 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-oskk8v3

Nov 28, 2022

Merged

Rollup of 4 pull requests#104990
bors merged 48 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-oskk8v3

Commits on Nov 20, 2022
- add a weak form of protection that justifies Box noalias
  RalfJung
  committed
  7225524
- some things don't need to be mutable
  RalfJung
  committed
  bf9e73f
- tweaks
  RalfJung
  committed
  32e9d00
Commits on Nov 21, 2022
- Auto merge of #2684 - RalfJung:stack-borrows-weak-protectors, r=saethlin
  bors
  committed
  105dba7
- Incrementally track which frame to use for diagnostics
  saethlin
  committed
  23270ae
Commits on Nov 22, 2022
- ensure current getrandom works with strict provenance
  RalfJung
  committed
  859310a
- update test_dependencies
  RalfJung
  committed
  8061e2f
- Auto merge of #2687 - RalfJung:getrandom, r=RalfJung
  bors
  committed
  8b0b2d1
- Document is_user_relevant
  
  saethlin
  and
  RalfJung
  authored
  1ca3c29
Commits on Nov 23, 2022
- Update src/machine.rs
  
  saethlin
  and
  RalfJung
  authored
  a312329
Commits on Nov 25, 2022
- replace a borrow_mut by get_mut
  RalfJung
  committed
  448f044
- Auto merge of #2691 - RalfJung:get_mut, r=RalfJung
  bors
  committed
  fe81522
- Test a small cargo-miri smoke test even in `run_tests_minimal`
  Noratrieb
  committed
  2c456b5
- Use None when the stack is empty
  saethlin
  committed
  8961e13
Commits on Nov 26, 2022
- caller_span only makes sense when there are 2 frames on the stack
  RalfJung
  committed
  726b9d0
- Auto merge of #2647 - saethlin:current-span, r=RalfJung
  bors
  committed
  7d0db1e
- update lockfile
  RalfJung
  committed
  166e60e
- Auto merge of #2690 - Nilstrieb:cargo-miri-smoke-test-ci-so-that-cargo-miri-actually-works-kinda, r=RalfJung
  bors
  committed
  4d3e565
- prettify our CI logs
  RalfJung
  committed
  56a1d07
- Auto merge of #2695 - RalfJung:ci-pretty, r=RalfJung
  bors
  committed
  b3e4402
- add namespace to resolve_path
  
  beepster4096
  authored and
  RalfJung
  committed
  0822c31
- refactor try_resolve_did and also support resolving crates/modules
  RalfJung
  committed
  245857b
- support no_std on Windows
  RalfJung
  committed
  3158a8d
- Auto merge of #2696 - RalfJung:no-std-windows, r=RalfJung
  bors
  committed
  144b485
- Switch rustdoc-gui test to function call
  GuillaumeGomez
  committed
  b19e034
- !Unpin retags must still be reads, to check dereferenceable
  RalfJung
  committed
  f479404
- slightly adjust and synchronize Machine passing for SB and DataRace
  RalfJung
  committed
  a7f7221
- make Stacked Borrows retags act like data races
  RalfJung
  committed
  a3bd578
- nits
  RalfJung
  committed
  edf8154
Commits on Nov 27, 2022
- Use `.wasm` extension when building for wasm in cargo-miri
  Noratrieb
  committed
  958d591
- Prefer doc comments over `//`-comments in compiler
  WaffleLapkin
  committed
  1d42936
- CI: fix begingroup printing
  RalfJung
  committed
  b20efbd
- Auto merge of #2700 - RalfJung:begingroup, r=RalfJung
  bors
  committed
  5a14c5a
- run_tests_minimal: actually run the smoke test on the desired target
  RalfJung
  committed
  c6587b0
- Auto merge of #2701 - RalfJung:smoke, r=RalfJung
  bors
  committed
  9f8df93
- Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJung
  bors
  committed
  a83b105
- Remove Crate::primitives field
  GuillaumeGomez
  committed
  5856e40
- Add rustdoc test for Deref to primitive types
  GuillaumeGomez
  committed
  23c3941
- Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlin
  bors
  committed
  66354f0
- Preparing for merge from rustc
  RalfJung
  committed
  187ba67
- Merge from rustc
  RalfJung
  committed
  7c12ed1
- advice on josh pushing
  RalfJung
  committed
  6d1e99e
- clippy
  RalfJung
  committed
  598c3da
- Auto merge of #2702 - RalfJung:rustup, r=RalfJung
  bors
  committed
  f8fbc6d
- Rollup merge of #104955 - GuillaumeGomez:migrate-to-func, r=notriddle
  matthiaskrgr
  authored
  53cfcfb
- Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillot
  matthiaskrgr
  authored
  86304f5
- Rollup merge of #104984 - GuillaumeGomez:remote-crate-primitives, r=notriddle
  matthiaskrgr
  authored
  5ea36cf
- Rollup merge of #104989 - RalfJung:miri, r=RalfJung
  matthiaskrgr
  authored
  2ccb38b

Commits

Commits on Nov 20, 2022

Commits on Nov 21, 2022

Commits on Nov 22, 2022

Commits on Nov 23, 2022

Commits on Nov 25, 2022

Commits on Nov 26, 2022

Commits on Nov 27, 2022