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.

Sign up for GitHub

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

Jump to bottom

Miri subtree update #117165

Merged
merged 24 commits into from
Oct 25, 2023
Merged

Miri subtree update #117165

merged 24 commits into from
Oct 25, 2023

Commits on Oct 22, 2023

  1. avoid a linear scan over the entire int_to_ptr_map on each deallocation

    @RalfJung
    RalfJung committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    48445b9 View commit details
    Browse the repository at this point in the history

  2. Auto merge of rust-lang#3134 - RalfJung:log-not-lin, r=saethlin 

    avoid a linear scan over the entire int_to_ptr_map on each deallocation
    @bors
    bors committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    74092c5 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Preparing for merge from rustc

    The Miri Conjob Bot committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    a80b5c0 View commit details
    Browse the repository at this point in the history

  2. Merge from rustc

    The Miri Conjob Bot committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    624f68d View commit details
    Browse the repository at this point in the history

  3. fmt

    @RalfJung
    The Miri Conjob Bot authored and RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    dd683dd View commit details
    Browse the repository at this point in the history

  4. Auto merge of rust-lang#3136 - rust-lang:rustup-2023-10-23, r=RalfJung 

    Automatic Rustup
    @bors
    bors committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    d32b158 View commit details
    Browse the repository at this point in the history

  5. data_race: clarify and slightly refactor non-atomic handling

    @RalfJung
    RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    a4e42ad View commit details
    Browse the repository at this point in the history

  6. data_race: detect races between atomic and non-atomic accesses, even … 

    …if both are reads
    @RalfJung
    RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    f99566e View commit details
    Browse the repository at this point in the history

  7. detect mixed-size atomic accesses

    @RalfJung
    RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    1e5f9eb View commit details
    Browse the repository at this point in the history

  8. clean up imperfect overlap detection in weak-mem emulation

    @RalfJung
    RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    369c6d1 View commit details
    Browse the repository at this point in the history

  9. don't talk about 'Data race' when both accesses are atomic

    @RalfJung
    RalfJung committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    e94c18e View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Preparing for merge from rustc

    The Miri Conjob Bot committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    e42a8d8 View commit details
    Browse the repository at this point in the history

  2. Merge from rustc

    The Miri Conjob Bot committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    ddc76e2 View commit details
    Browse the repository at this point in the history

  3. Auto merge of rust-lang#3138 - rust-lang:rustup-2023-10-24, r=RalfJung 

    Automatic Rustup
    @bors
    bors committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    cc13d04 View commit details
    Browse the repository at this point in the history

  4. fix error read-read reporting when there's also an unsynchronized non… 

    …-atomic read (which is fine)
    @RalfJung
    RalfJung committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    f15b563 View commit details
    Browse the repository at this point in the history

  5. futex text: avoid spurious non-atomic reads

    @RalfJung
    RalfJung committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    d3a8281 View commit details
    Browse the repository at this point in the history

  6. we don't support thread::scope on freebsd

    @RalfJung
    RalfJung committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    900b5ef View commit details
    Browse the repository at this point in the history

  7. Auto merge of rust-lang#3137 - RalfJung:data-race, r=oli-obk 

    Detect mixed-size and mixed-atomicity non-synchronized accesses

Fixes rust-lang/miri#2303
    @bors
    bors committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    a15eb7e View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. add some more gamma function tests

    @RalfJung
    RalfJung committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    e83c8c1 View commit details
    Browse the repository at this point in the history

  2. Preparing for merge from rustc

    The Miri Conjob Bot committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    c612ba8 View commit details
    Browse the repository at this point in the history

  3. Auto merge of rust-lang#3140 - RalfJung:gamma, r=RalfJung 

    add some more gamma function tests
    @bors
    bors committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    9c793e1 View commit details
    Browse the repository at this point in the history

  4. Merge from rustc

    The Miri Conjob Bot committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    3751fb0 View commit details
    Browse the repository at this point in the history

  5. CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones

    @RalfJung
    RalfJung committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    19c4fa6 View commit details
    Browse the repository at this point in the history

  6. Auto merge of rust-lang#3141 - rust-lang:rustup-2023-10-25, r=RalfJung 

    Automatic Rustup
    @bors
    bors committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    51ae1fe View commit details
    Browse the repository at this point in the history