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

update Miri #105301

Merged
merged 6 commits into from
Dec 6, 2022
Merged

update Miri #105301

merged 6 commits into from
Dec 6, 2022

Commits on Dec 3, 2022

  1. Configuration menu
    Copy the full SHA
    3b4cbe9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3fa692c View commit details
    Browse the repository at this point in the history
  3. Auto merge of rust-lang#2713 - RalfJung:not-unpin-fake-read, r=RalfJung

    for now, do not do fake reads on non-Unpin mutable references
    
    Work-around for rust-lang/unsafe-code-guidelines#381, needed to make the new test pass. Undoes parts of rust-lang/miri#2694.
    bors committed Dec 3, 2022
    Configuration menu
    Copy the full SHA
    faec289 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2022

  1. Configuration menu
    Copy the full SHA
    16a9fdf View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    RalfJung committed Dec 5, 2022
    Configuration menu
    Copy the full SHA
    7481ba7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    552b63c View commit details
    Browse the repository at this point in the history