Code

Miri subtree update#118284

Code

Merged

bors merged 39 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboard

Nov 25, 2023

Commits

Commits on Nov 18, 2023

• miri script: fix RUSTC_GIT error message

  RalfJung

  committed
  abdfe4a

  Copy full SHA for abdfe4a

• Auto merge of #3174 - RalfJung:rustc-git, r=RalfJung

  Show description for b7b919c
  bors

  committed
  b7b919c

  Copy full SHA for b7b919c

• cargo-miri: when verbose, print where the sysroot is being built

  RalfJung

  committed
  eba8d29

  Copy full SHA for eba8d29

• Auto merge of #3175 - RalfJung:sysroot-verbose, r=RalfJung

  Show description for 9ad93b3
  bors

  committed
  9ad93b3

  Copy full SHA for 9ad93b3

Commits on Nov 19, 2023

• Improve wording of `intrinsics-x86-*.rs` header

  eduardosm

  committed
  cee4c57

  Copy full SHA for cee4c57

Commits on Nov 20, 2023

• libc-misc test freebsd fixes attempt

  devnexen

  committed
  991e53a

  Copy full SHA for 991e53a

• Auto merge of #3177 - devnexen:fix_pthread_misc_fbsd, r=RalfJung

  Show description for 6730f22
  bors

  committed
  6730f22

  Copy full SHA for 6730f22

• Implement all 16 AVX compare operators

  Show description for 81303e7
  eduardosm

  committed
  81303e7

  Copy full SHA for 81303e7

• Auto merge of #3176 - eduardosm:cmp, r=RalfJung

  Show description for 607208c
  bors

  committed
  607208c

  Copy full SHA for 607208c

Commits on Nov 21, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  9007cc4

  Copy full SHA for 9007cc4

• Merge from rustc

  RalfJung

  committed
  eed24ac

  Copy full SHA for eed24ac

• fmt

  RalfJung

  committed
  f1b944d

  Copy full SHA for f1b944d

• Auto merge of #3182 - RalfJung:rustup, r=RalfJung

  Show description for 4926115
  bors

  committed
  4926115

  Copy full SHA for 4926115

Commits on Nov 22, 2023

• Check that target features required by LLVM intrinsics are enabled

  eduardosm

  committed
  09358a0

  Copy full SHA for 09358a0

• Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJung

  Show description for 41d7012
  bors

  committed
  41d7012

  Copy full SHA for 41d7012

Commits on Nov 23, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  804afa4

  Copy full SHA for 804afa4

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  03f19ab

  Copy full SHA for 03f19ab

• Auto merge of #3183 - rust-lang:rustup-2023-11-23, r=RalfJung

  Show description for 933bdbc
  bors

  committed
  933bdbc

  Copy full SHA for 933bdbc

• detect and test for data races between setenv and getenv

  RalfJung

  committed
  4896c95

  Copy full SHA for 4896c95

• remove stub android files that don't do anything

  RalfJung

  committed
  4b69e52

  Copy full SHA for 4b69e52

• Auto merge of #3184 - RalfJung:getenv, r=RalfJung

  Show description for 2a1e0ce
  bors

  committed
  2a1e0ce

  Copy full SHA for 2a1e0ce

Commits on Nov 24, 2023

• Refactor `float_to_int_checked` to remove its generic parameter and reduce code duplication a bit

  eduardosm

  committed
  2855024

  Copy full SHA for 2855024

• Auto merge of #3185 - eduardosm:float_to_int_checked-generic, r=RalfJung

  Show description for 44aceb5
  bors

  committed
  44aceb5

  Copy full SHA for 44aceb5

Commits on Nov 25, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  c174448

  Copy full SHA for c174448

• Merge from rustc

  RalfJung

  committed
  a4a294a

  Copy full SHA for a4a294a

• fmt

  RalfJung

  committed
  2df4fc0

  Copy full SHA for 2df4fc0

• bless

  RalfJung

  committed
  34a8680

  Copy full SHA for 34a8680

• Auto merge of #3187 - RalfJung:rustup, r=RalfJung

  Show description for b7912d3
  bors

  committed
  b7912d3

  Copy full SHA for b7912d3

• make tests/utils work with edition 2015

  RalfJung

  committed
  69ea952

  Copy full SHA for 69ea952

• read off_t at the right size for the current target

  RalfJung

  committed
  ce94b22

  Copy full SHA for ce94b22

• run tests on 32bit freebsd

  RalfJung

  committed
  b750b54

  Copy full SHA for b750b54

• Auto merge of #3190 - RalfJung:freebsd32, r=RalfJung

  Show description for 2132d78
  bors

  committed
  2132d78

  Copy full SHA for 2132d78

• run the provenance-gc=1 test on all targets, but only for some of the tests

  Show description for 2a89b74
  RalfJung

  committed
  2a89b74

  Copy full SHA for 2a89b74

• tweak ci.sh

  RalfJung

  committed
  695f1a5

  Copy full SHA for 695f1a5

• Auto merge of #3189 - RalfJung:ci, r=RalfJung

  Show description for 535db18
  bors

  committed
  535db18

  Copy full SHA for 535db18

• Preparing for merge from rustc

  RalfJung

  committed
  2f825fb

  Copy full SHA for 2f825fb

• Merge from rustc

  RalfJung

  committed
  a0cf02a

  Copy full SHA for a0cf02a

• bless

  RalfJung

  committed
  feb3782

  Copy full SHA for feb3782

• Auto merge of #3191 - RalfJung:rustup, r=RalfJung

  Show description for 547598b
  bors

  committed
  547598b

  Copy full SHA for 547598b