Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rust-lang/miri
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 16c69fd2901b49148bff6f24292e7fc98967d7f1
Choose a base ref
...
head repository: rust-lang/miri
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 346f8f2219562dae3fce5a35cc7eed4df8353b6c
Choose a head ref
  • 5 commits
  • 4 files changed
  • 2 contributors

Commits on Mar 22, 2022

  1. vec test: check number validity

    @RalfJung
    RalfJung committed Mar 22, 2022
    Configuration menu
    Copy the full SHA
    694846f View commit details
    Browse the repository at this point in the history

  2. regression test for reverse() unsoundness

    @RalfJung
    RalfJung committed Mar 22, 2022
    Configuration menu
    Copy the full SHA
    951ac65 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2022

  1. rustup

    @RalfJung
    RalfJung committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    3275df3 View commit details
    Browse the repository at this point in the history

  2. Auto merge of #2038 - RalfJung:rustup, r=RalfJung 

    rustup
    @bors
    bors committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    d46b648 View commit details
    Browse the repository at this point in the history

  3. Auto merge of #2036 - RalfJung:vec, r=RalfJung 

    regression test for reverse() unsoundness

Cc rust-lang/rust#90821
    @bors
    bors committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    346f8f2 View commit details
    Browse the repository at this point in the history
Loading