Code

Miri subtree update#118640

Code

Merged

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

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

Dec 5, 2023

Commits

Commits on Dec 3, 2023

• also test simd_select_bitmask on arrays for less than 8 elements

  RalfJung

  committed
  56f50d5

  Copy full SHA for 56f50d5

• handle the array case consistently for simd_select_bitmask and simd_bitmask

  Show description for 92b4ffc
  RalfJung

  committed
  92b4ffc

  Copy full SHA for 92b4ffc

• also test directly calling simd_select_bitmask

  RalfJung

  committed
  c946369

  Copy full SHA for c946369

• disable a test that currently fails on big-endian

  RalfJung

  committed
  6e74d2a

  Copy full SHA for 6e74d2a

• Auto merge of #3205 - RalfJung:simd-bitmask, r=RalfJung

  Show description for 6da0959
  bors

  committed
  6da0959

  Copy full SHA for 6da0959

• SIMD bitmasks: use 'round up to multiple of 8' rather than 'clamp to at least 8'

  RalfJung

  committed
  7c6ed0c

  Copy full SHA for 7c6ed0c

• Auto merge of #3206 - RalfJung:simd-bitmask, r=RalfJung

  Show description for 487d999
  bors

  committed
  487d999

  Copy full SHA for 487d999

Commits on Dec 4, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  da4fd22

  Copy full SHA for da4fd22

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  bcc0595

  Copy full SHA for bcc0595

• fmt

  

  The Miri Conjob Bot

  committed
  2c545ed

  Copy full SHA for 2c545ed

• fix clippy

  RalfJung

  committed
  8174045

  Copy full SHA for 8174045

• Auto merge of #3207 - rust-lang:rustup-2023-12-04, r=RalfJung

  Show description for e27da14
  bors

  committed
  e27da14

  Copy full SHA for e27da14

Commits on Dec 5, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  d651eb9

  Copy full SHA for d651eb9

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  cf1ef13

  Copy full SHA for cf1ef13

• fmt

  

  The Miri Conjob Bot

  committed
  0d5fdcc

  Copy full SHA for 0d5fdcc

• Auto merge of #3210 - rust-lang:rustup-2023-12-05, r=RalfJung

  Show description for 88d905c
  bors

  committed
  88d905c

  Copy full SHA for 88d905c

• fix typo in comment

  RalfJung

  committed
  6237f23

  Copy full SHA for 6237f23

• fix miri_promise_symbolic_alignment for huge alignments

  RalfJung

  committed
  ff95f8b

  Copy full SHA for ff95f8b

• simd numeric intrinsics: share code with scalar intrinsic

  RalfJung

  committed
  1fa8fd8

  Copy full SHA for 1fa8fd8

• Auto merge of #3211 - RalfJung:promise, r=RalfJung

  Show description for 73db2e4
  bors

  committed
  73db2e4

  Copy full SHA for 73db2e4