Code

Miri subtree update#117855

Code

Merged

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

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

Nov 13, 2023

Commits

Commits on Nov 10, 2023

• data_race: link to docs for 'unusual' race conditions

  RalfJung

  committed
  be09a10

  Copy full SHA for be09a10

• Auto merge of #3155 - RalfJung:data-race-docs, r=RalfJung

  Show description for fe0b970
  bors

  committed
  fe0b970

  Copy full SHA for fe0b970

Commits on Nov 12, 2023

• freebsd interceptions update proposal

  devnexen

  committed
  be6f27b

  Copy full SHA for be6f27b

• tweak comments

  RalfJung

  committed
  887ffc6

  Copy full SHA for 887ffc6

• better error when calling pthread shims on unsupported unixes

  RalfJung

  committed
  ba523be

  Copy full SHA for ba523be

• Auto merge of #3143 - devnexen:fbsd_update, r=RalfJung

  Show description for e25a04f
  bors

  committed
  e25a04f

  Copy full SHA for e25a04f

• Implement roundps and roundpd SSE4.1 intrinsics

  eduardosm

  committed
  7f201f8

  Copy full SHA for 7f201f8

• allow allocations referenced by main thread TLS to leak

  

  max-heller

  authored and

  RalfJung

  committed
  c226533

  Copy full SHA for c226533

• Auto merge of #2931 - max-heller:issue-2881, r=RalfJung

  Show description for eb2c643
  bors

  committed
  eb2c643

  Copy full SHA for eb2c643

• more consistent naming for TLS tests

  RalfJung

  committed
  10c9e75

  Copy full SHA for 10c9e75

• Auto merge of #3158 - RalfJung:tls-rename, r=RalfJung

  Show description for 9721690
  bors

  committed
  9721690

  Copy full SHA for 9721690

• Improve SSE4.1 rounding tests coverage

  Show description for d927f41
  eduardosm

  committed
  d927f41

  Copy full SHA for d927f41

• Auto merge of #3159 - eduardosm:sse41-round, r=RalfJung

  Show description for f86fa09
  bors

  committed
  f86fa09

  Copy full SHA for f86fa09