Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Miri subtree update #116234

Merged
merged 20 commits into from
Sep 29, 2023
Merged

Miri subtree update #116234

merged 20 commits into from
Sep 29, 2023

Commits on Sep 22, 2023

  1. Bump ui test crate

    oli-obk committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    32c2ed7 View commit details
    Browse the repository at this point in the history
  2. Move fail tests that need dependencies into their own folder, so th…

    …at wasm tests don't build dependencies
    oli-obk committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c69e0c2 View commit details
    Browse the repository at this point in the history
  3. Bump ui_test crate

    oli-obk committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0d5f51c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e706367 View commit details
    Browse the repository at this point in the history
  5. Bump ui_test crate

    oli-obk committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    9f4e7c6 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2023

  1. Configuration menu
    Copy the full SHA
    5f440dd View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. Document new env var

    oli-obk committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    1ec85a8 View commit details
    Browse the repository at this point in the history
  2. Explain single element vector

    oli-obk committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    71aea48 View commit details
    Browse the repository at this point in the history
  3. Auto merge of rust-lang#3008 - oli-obk:ui_test_progress_bars, r=RalfJung

    bump ui test crate
    
    The recommended way to run tests locally is `./miri bless -- -- --quiet`, which will show
    
    * progress bars
    * the currently running tests (allowing you to see which ones are still running towards the end of the test suite)
    * the output of the currently running tests (if they are slow). This means slow running tests can output lines to `stderr` and the last line will be shown after the test name and updated every few hundred milliseconds.
    
    As a side effect this PR also fixes rust-lang#2998 and only builds dependencies if any tests actually need them (this means that with the next ui_test update we'll be able to merge all our test suites).
    
    Also fixes rust-lang/miri#3052.
    bors committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    b4dc4f3 View commit details
    Browse the repository at this point in the history
  4. fix normalization in backtrace-api tests

    also remove a normalization rule that doesn't seem to apply
    RalfJung committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    ee30aaf View commit details
    Browse the repository at this point in the history
  5. Auto merge of rust-lang#3083 - saethlin:gc-history, r=oli-obk

    GC the Stacked Borrows allocation history
    
    This handles the biggest contributor to rust-lang/miri#3080
    
    The benchmark that this adds demonstrates the memory improvement here, but our benchmark setup doesn't record memory usage, and `hyperfine` doesn't support emitting memory usage stats. I ran this benchmark manually with `/usr/bin/time -v cargo +miri miri run` 🤷
    bors committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    32c0afb View commit details
    Browse the repository at this point in the history
  6. Auto merge of rust-lang#3085 - RalfJung:test-norm, r=RalfJung

    fix normalization in backtrace-api tests
    
    also remove a normalization rule that doesn't seem to apply
    bors committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    e86c68a View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Preparing for merge from rustc

    The Miri Conjob Bot committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    fc0d833 View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Conjob Bot committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b1f5c66 View commit details
    Browse the repository at this point in the history
  3. clippy

    RalfJung committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    c8a44b1 View commit details
    Browse the repository at this point in the history
  4. Auto merge of rust-lang#3087 - rust-lang:rustup-2023-09-27, r=RalfJung

    Automatic sync from rustc
    bors committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    1a3dd7e View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Preparing for merge from rustc

    The Miri Conjob Bot committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    3b091cb View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Conjob Bot committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    f2623ac View commit details
    Browse the repository at this point in the history
  3. Auto merge of rust-lang#3089 - rust-lang:rustup-2023-09-28, r=RalfJung

    Automatic sync from rustc
    bors committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    024279a View commit details
    Browse the repository at this point in the history
  4. update lockfile

    RalfJung committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e0f4ab8 View commit details
    Browse the repository at this point in the history