Code

Rollup of 4 pull requests#125294

Code

Merged

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

matthiaskrgr:rollup-w42c829matthiaskrgr/rust:rollup-w42c829Copy head branch name to clipboard

May 19, 2024

Commits

Commits on May 11, 2024

• support `f*_algebraic`

  bend-n

  committed
  e928185

  Copy full SHA for e928185

• Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJung

  Show description for 32b2238
  bors

  committed
  32b2238

  Copy full SHA for 32b2238

Commits on May 12, 2024

• Add non-null pointer for posix_memalign

  tiif

  committed
  bf5906f

  Copy full SHA for bf5906f

• Auto merge of #3600 - tiif:non-null-posix-memalign, r=RalfJung

  Show description for fd5e037
  bors

  committed
  fd5e037

  Copy full SHA for fd5e037

• organize float intrinsic implementations a bit

  RalfJung

  committed
  9fc569d

  Copy full SHA for 9fc569d

• merge float tests into one

  RalfJung

  committed
  5d76ec9

  Copy full SHA for 5d76ec9

• merge two integer tests

  RalfJung

  committed
  01b5430

  Copy full SHA for 01b5430

• Auto merge of #3601 - RalfJung:intrinsics, r=RalfJung

  Show description for 14ced80
  bors

  committed
  14ced80

  Copy full SHA for 14ced80

• Preparing for merge from rustc

  RalfJung

  committed
  7d565df

  Copy full SHA for 7d565df

• Merge from rustc

  RalfJung

  committed
  1e7fba9

  Copy full SHA for 1e7fba9

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

  Show description for 75d531d
  bors

  committed
  75d531d

  Copy full SHA for 75d531d

• Don't print unnecessary sysroot messages

  saethlin

  committed
  cd7527a

  Copy full SHA for cd7527a

• Auto merge of #3599 - saethlin:quiet-when-no-change, r=RalfJung

  Show description for e4f81d1
  bors

  committed
  e4f81d1

  Copy full SHA for e4f81d1

• further illumos/solaris support.

  Show description for 10acfd9
  devnexen

  committed
  10acfd9

  Copy full SHA for 10acfd9

• Auto merge of #3575 - devnexen:illumos_part3, r=RalfJung

  Show description for d4937cb
  bors

  committed
  d4937cb

  Copy full SHA for d4937cb

Commits on May 13, 2024

• intrinsics: just panic when they get used incorrectly

  RalfJung

  committed
  c6a0e2c

  Copy full SHA for c6a0e2c

• Auto merge of #3604 - RalfJung:intrinsics, r=RalfJung

  Show description for d0b2c66
  bors

  committed
  d0b2c66

  Copy full SHA for d0b2c66

• Give `FileDescription::{read, write}` access to the `InterpCx`

  Luv-Ray

  committed
  99c6b2e

  Copy full SHA for 99c6b2e

Commits on May 16, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  b1b278b

  Copy full SHA for b1b278b

• Merge from rustc

  RalfJung

  committed
  0334bf8

  Copy full SHA for 0334bf8

• alloc now works on wasi (and some formatting)

  RalfJung

  committed
  6d314f3

  Copy full SHA for 6d314f3

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

  Show description for 7e5b9e2
  bors

  committed
  7e5b9e2

  Copy full SHA for 7e5b9e2

• start implementing MiriAllocBytes

  Show description for 983fb09
  Strophox

  committed
  983fb09

  Copy full SHA for 983fb09

Commits on May 17, 2024

• Auto merge of #3526 - Strophox:miri-memory, r=RalfJung

  Show description for fffc8e9
  bors

  committed
  fffc8e9

  Copy full SHA for fffc8e9

• Auto merge of #3603 - Luv-Ray:issue-3572, r=RalfJung

  Show description for 5b2fdb6
  bors

  committed
  5b2fdb6

  Copy full SHA for 5b2fdb6

• Ignore the Helix configuration directory

  marc0246

  committed
  318a0fe

  Copy full SHA for 318a0fe

• Auto merge of #3611 - marc0246:helix-ignore, r=saethlin

  Show description for 421538c
  bors

  committed
  421538c

  Copy full SHA for 421538c

Commits on May 18, 2024

• support aligned_alloc for unixes support.

  devnexen

  committed
  5ea21ca

  Copy full SHA for 5ea21ca

• Fix typos (taking into account review comments)

  blyxyas

  committed
  c5c820e

  Copy full SHA for c5c820e

Commits on May 19, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  1ba83f2

  Copy full SHA for 1ba83f2

• Merge from rustc

  RalfJung

  committed
  3460853

  Copy full SHA for 3460853

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

  Show description for 8d7c8ac
  bors

  committed
  8d7c8ac

  Copy full SHA for 8d7c8ac

• a bit of refactoring and tweak the aligned-allocation tests

  RalfJung

  committed
  430298c

  Copy full SHA for 430298c

• make basic things work on Android

  RalfJung

  committed
  844de64

  Copy full SHA for 844de64

• Auto merge of #3585 - devnexen:aligned_alloc, r=RalfJung

  Show description for 3726afa
  bors

  committed
  3726afa

  Copy full SHA for 3726afa

• Auto merge of #3616 - RalfJung:android, r=RalfJung

  Show description for 0e41a80
  bors

  committed
  0e41a80

  Copy full SHA for 0e41a80

• properly print error in 'cargo miri setup --print-sysroot'

  RalfJung

  committed
  2b9c1ca

  Copy full SHA for 2b9c1ca

• Auto merge of #3619 - RalfJung:print-sysroot, r=RalfJung

  Show description for 3c15681
  bors

  committed
  3c15681

  Copy full SHA for 3c15681

• test wasm32-wasip2 instead of the deprecated wasm32-wasi target

  RalfJung

  committed
  b8a7c73

  Copy full SHA for b8a7c73

• make `Debug` impl for `Term` simpler

  WaffleLapkin

  committed
  006866f

  Copy full SHA for 006866f

• Auto merge of #3620 - RalfJung:wasi, r=RalfJung

  Show description for f7520e4
  bors

  committed
  f7520e4

  Copy full SHA for f7520e4

• use a little arg-parsing helper for miri-script

  RalfJung

  committed
  9cba160

  Copy full SHA for 9cba160

• Auto merge of #3621 - RalfJung:argparse, r=RalfJung

  Show description for a32423c
  bors

  committed
  a32423c

  Copy full SHA for a32423c

• Directly implement native exception raise methods in miri

  Show description for 42cb1ff
  

  bjorn3

  authored and

  RalfJung

  committed
  42cb1ff

  Copy full SHA for 42cb1ff

• various small nits

  Show description for 5e41ff5
  RalfJung

  committed
  5e41ff5

  Copy full SHA for 5e41ff5

• Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJung

  Show description for 85ed056
  bors

  committed
  85ed056

  Copy full SHA for 85ed056

• Add example to IsTerminal::is_terminal

  foresterre

  committed
  0b6baf6

  Copy full SHA for 0b6baf6

• update lockfile

  RalfJung

  committed
  e93268e

  Copy full SHA for e93268e

• Rollup merge of #124948 - blyxyas:remove-repeated-words, r=compiler-errors

  Show description for d5bef41
  matthiaskrgr

  authored
  d5bef41

  Copy full SHA for d5bef41

• Rollup merge of #124992 - foresterre:example/is-terminal, r=ChrisDenton

  Show description for c5b8c7c
  matthiaskrgr

  authored
  c5b8c7c

  Copy full SHA for c5b8c7c

• Rollup merge of #125279 - WaffleLapkin:unpacktermindebug, r=aDotInTheVoid,Nilstrieb,BoxyUwU

  Show description for 131d48f
  matthiaskrgr

  authored
  131d48f

  Copy full SHA for 131d48f

• Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJung

  Show description for 7a45322
  matthiaskrgr

  authored
  7a45322

  Copy full SHA for 7a45322