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 engine: basic support for pointer provenance tracking #54461

Merged
merged 12 commits into from
Oct 10, 2018
Merged

miri engine: basic support for pointer provenance tracking #54461

merged 12 commits into from
Oct 10, 2018

Commits on Oct 10, 2018

  1. miri engine: basic support for pointer provenance tracking

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    4e9f932 View commit details
    Browse the repository at this point in the history

  2. tidy, oh tidy

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    f3a39e3 View commit details
    Browse the repository at this point in the history

  3. expand comment

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    50c00a9 View commit details
    Browse the repository at this point in the history

  4. rename extra -> meta in place

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    397283d View commit details
    Browse the repository at this point in the history

  5. expand safety comment in memory.rs

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    d4b21f1 View commit details
    Browse the repository at this point in the history

  6. fix typos

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    e0b17ad View commit details
    Browse the repository at this point in the history

  7. clarify alloc_map description

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    0354510 View commit details
    Browse the repository at this point in the history

  8. typos and spaces

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    75ea7c7 View commit details
    Browse the repository at this point in the history

  9. abstract mono_hash_map through a trait, only miri actually needs the … 

    …fancy one
    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    83667d6 View commit details
    Browse the repository at this point in the history

  10. more comments for these sublte games we are playing with allocations … 

    …in the miri engine
    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    3fb617d View commit details
    Browse the repository at this point in the history

  11. vtables are not leaks

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    9a9dbff View commit details
    Browse the repository at this point in the history

  12. tidy up

    @RalfJung
    RalfJung committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    bc9435d View commit details
    Browse the repository at this point in the history