Code

Miri subtree update#124709

Code

Closed

RalfJung wants to merge 65 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboard

+833-661

Commits

Commits on Apr 27, 2024

• josh rustc-pull: check that no new root commits get created

  RalfJung

  committed
  2681edf

  Copy full SHA for 2681edf

• fix: usage of deprecated version of Node.js

  hamirmahal

  committed
  39f7a46

  Copy full SHA for 39f7a46

• Auto merge of rust-lang#3519 - hamirmahal:fix/usage-of-deprecated-version-of-nodejs, r=RalfJung

  Show description for f5ceb4e
  bors

  committed
  f5ceb4e

  Copy full SHA for f5ceb4e

• Auto merge of rust-lang#3520 - RalfJung:josh-check, r=RalfJung

  Show description for 45d9394
  bors

  committed
  45d9394

  Copy full SHA for 45d9394

• Add doc comment to pack_generic

  eduardosm

  committed
  ee47a8e

  Copy full SHA for ee47a8e

• Clarify behavior of AVX2 gather when dest and offsets have different numbers of elements

  eduardosm

  committed
  b3b1b49

  Copy full SHA for b3b1b49

• Do not implement x86 SIMD abs with host integers

  eduardosm

  committed
  b261535

  Copy full SHA for b261535

Commits on Apr 28, 2024

• Auto merge of rust-lang#3521 - eduardosm:avx2-2, r=RalfJung

  Show description for 5c6f95c
  bors

  committed
  5c6f95c

  Copy full SHA for 5c6f95c

• file descriptors: make write take &mut self

  RalfJung

  committed
  b5482aa

  Copy full SHA for b5482aa

• Auto merge of rust-lang#3524 - RalfJung:fd-write, r=RalfJung

  Show description for bc8ea93
  bors

  committed
  bc8ea93

  Copy full SHA for bc8ea93

• Use the interpreted program's TZ variable in localtime_r

  saethlin

  committed
  622f697

  Copy full SHA for 622f697

• Refactor UnixEnvVars::get so that it can be reused by getenv

  saethlin

  committed
  9bed19e

  Copy full SHA for 9bed19e

Commits on Apr 29, 2024

• don't leak UnixEnvVars impl details into get_env_var

  RalfJung

  committed
  7afef08

  Copy full SHA for 7afef08

• Auto merge of rust-lang#3523 - saethlin:localtime_r-env, r=RalfJung

  Show description for 1c7e827
  bors

  committed
  1c7e827

  Copy full SHA for 1c7e827

Commits on May 1, 2024

• Don’t print Preparing a sysroot when -q/--quiet is passed

  narpfel

  committed
  1cf951e

  Copy full SHA for 1cf951e

• fix usage example for --print-sysroot

  narpfel

  committed
  4b42626

  Copy full SHA for 4b42626

• no longer strip Preparing a sysroot message from test output

  narpfel

  committed
  a2b3211

  Copy full SHA for a2b3211

• Auto merge of rust-lang#3531 - narpfel:quiet-sysroot, r=RalfJung

  Show description for b0bdbcc
  bors

  committed
  b0bdbcc

  Copy full SHA for b0bdbcc

Commits on May 2, 2024

• Tree Borrows: first apply transition, then check protector with new 'initialized'

  RalfJung

  committed
  aa986f0

  Copy full SHA for aa986f0

• Auto merge of rust-lang#3532 - RalfJung:tb-protectors, r=RalfJung

  Show description for ca3defe
  bors

  committed
  ca3defe

  Copy full SHA for ca3defe

• update host-float comments

  RalfJung

  committed
  36caaa9

  Copy full SHA for 36caaa9

• Auto merge of rust-lang#3535 - RalfJung:host-float, r=RalfJung

  Show description for f6c0090
  bors

  committed
  f6c0090

  Copy full SHA for f6c0090

• Add assign

  tiif

  committed
  56bb517

  Copy full SHA for 56bb517

Commits on May 3, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  aeef180

  Copy full SHA for aeef180

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  1d453a7

  Copy full SHA for 1d453a7

• update comments and URL

  RalfJung

  authored
  b348e41

  Copy full SHA for b348e41

• Auto merge of rust-lang#3536 - tiif:add_rustbot_feat, r=RalfJung

  Show description for 3c6d194
  bors

  committed
  3c6d194

  Copy full SHA for 3c6d194

• update lockfile

  RalfJung

  committed
  cde5f68

  Copy full SHA for cde5f68

• Auto merge of rust-lang#3537 - rust-lang:rustup-2024-05-03, r=RalfJung

  Show description for 45c1a6c
  bors

  committed
  45c1a6c

  Copy full SHA for 45c1a6c

• run clippy on a Windows host

  RalfJung

  committed
  413bac5

  Copy full SHA for 413bac5

• Auto merge of rust-lang#3542 - RalfJung:clippy-win, r=RalfJung

  Show description for c9b350a
  bors

  committed
  c9b350a

  Copy full SHA for c9b350a

• Preparing for merge from rustc

  RalfJung

  committed
  01bfef9

  Copy full SHA for 01bfef9

• Auto merge of rust-lang#3544 - RalfJung:rustup, r=RalfJung

  Show description for 84adaac
  bors

  committed
  84adaac

  Copy full SHA for 84adaac

• ./miri run: support -v flag to print what it is doing

  RalfJung

  committed
  803201a

  Copy full SHA for 803201a

• Auto merge of rust-lang#3545 - RalfJung:miri-run, r=RalfJung

  Show description for fa10e6f
  bors

  committed
  fa10e6f

  Copy full SHA for fa10e6f

• CI: no need to surround if: condition in expansion braces

  RalfJung

  committed
  4dd8e0b

  Copy full SHA for 4dd8e0b

• Auto merge of rust-lang#3547 - RalfJung:ci, r=RalfJung

  Show description for 3e0d531
  bors

  committed
  3e0d531

  Copy full SHA for 3e0d531

Commits on May 4, 2024

• make many-seeds a mode of ./miri run rather than a separate command

  RalfJung

  committed
  39ddcc6

  Copy full SHA for 39ddcc6

• remove a hack that is no longer needed

  RalfJung

  committed
  20fcbaa

  Copy full SHA for 20fcbaa

• Auto merge of rust-lang#3548 - RalfJung:many-seeds, r=RalfJung

  Show description for 1961b8b
  bors

  committed
  1961b8b

  Copy full SHA for 1961b8b

• tls dtors: treat all unixes uniformly

  RalfJung

  committed
  4082c24

  Copy full SHA for 4082c24

• Auto merge of rust-lang#3550 - RalfJung:unix-tls, r=RalfJung

  Show description for 7df633d
  bors

  committed
  7df633d

  Copy full SHA for 7df633d

• macos: use getentropy from libc

  RalfJung

  committed
  45670bf

  Copy full SHA for 45670bf

• Auto merge of rust-lang#3551 - RalfJung:getentropy, r=RalfJung

  Show description for 37bd816
  bors

  committed
  37bd816

  Copy full SHA for 37bd816

• Make file descriptors into refcount references

  Show description for 459c6ce
  

  Luv-Ray

  and

  RalfJung

  committed
  459c6ce

  Copy full SHA for 459c6ce

• speed up Windows runner: don't run GC_STRESS test

  RalfJung

  committed
  da6a18e

  Copy full SHA for da6a18e

• show time taken in run_tests_minimal

  RalfJung

  committed
  4ea88d5

  Copy full SHA for 4ea88d5

• Auto merge of rust-lang#3533 - Luv-Ray:file-descriptors-to-refcount-references, r=RalfJung

  Show description for d90acac
  bors

  committed
  d90acac

  Copy full SHA for d90acac

• move available-parallelism tests into shims/ folder

  RalfJung

  committed
  e944afd

  Copy full SHA for e944afd

• rename integer test

  RalfJung

  committed
  6b82ec2

  Copy full SHA for 6b82ec2

• move intrinsics implementations and tests into dedicated folder

  Show description for 5648735
  RalfJung

  committed
  5648735

  Copy full SHA for 5648735

• fix grouping of target-specific LLVM shims

  RalfJung

  committed
  c484fd2

  Copy full SHA for c484fd2

• move some minimal targets over to the macOS runner, to even out CI times

  RalfJung

  committed
  d7ad3da

  Copy full SHA for d7ad3da

• Auto merge of rust-lang#3556 - RalfJung:intrinsics, r=RalfJung

  Show description for 90fb25a
  bors

  committed
  90fb25a

  Copy full SHA for 90fb25a

• Auto merge of rust-lang#3552 - RalfJung:ci, r=RalfJung

  Show description for a551b4d
  bors

  committed
  a551b4d

  Copy full SHA for a551b4d

• update 'unsupported' message

  RalfJung

  committed
  ab2168b

  Copy full SHA for ab2168b

• freebsd: test std threadname and fs APIs

  Show description for 4529e67
  RalfJung

  committed
  4529e67

  Copy full SHA for 4529e67

• document unofficially supported OSes

  RalfJung

  committed
  86bd0a8

  Copy full SHA for 86bd0a8

• make some tests not need output (so they work on wasm)

  RalfJung

  committed
  99c5151

  Copy full SHA for 99c5151

• Auto merge of rust-lang#3558 - RalfJung:unsupported, r=RalfJung

  Show description for 58efad4
  bors

  committed
  58efad4

  Copy full SHA for 58efad4

• Auto merge of rust-lang#3554 - RalfJung:freebsd, r=RalfJung

  Show description for 5748d79
  bors

  committed
  5748d79

  Copy full SHA for 5748d79

• add helper function to declare an extern static for a weak symbol

  RalfJung

  committed
  8bffd88

  Copy full SHA for 8bffd88

• make statx a regular function (so we don't need to support the syscall)

  RalfJung

  committed
  99f77ac

  Copy full SHA for 99f77ac

• Auto merge of rust-lang#3559 - RalfJung:weak-extern-static, r=RalfJung

  Show description for 8dc063c
  bors

  committed
  8dc063c

  Copy full SHA for 8dc063c

• update lockfile

  RalfJung

  committed
  dc0cc72

  Copy full SHA for dc0cc72