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

Rustup for retagging #506

Merged
merged 15 commits into from
Nov 3, 2018
Merged

Rustup for retagging #506

merged 15 commits into from
Nov 3, 2018

Commits on Nov 1, 2018

  1. make the -Z flags we use more consistent

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    fba55ba View commit details
    Browse the repository at this point in the history

  2. stub Retag hook; fix tests for removal of -Zmir-emit-validate

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    7ac0e79 View commit details
    Browse the repository at this point in the history

  3. basic retagging (no fn_entry); this also makes us catch more bugs eve… 

    …n with optimizations and we can finally stop mutating the state on deref
    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    bba3c49 View commit details
    Browse the repository at this point in the history

  4. unify checks on memory access and reborrowing, and update for Machine… 

    … trait change
    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    85f821d View commit details
    Browse the repository at this point in the history

  5. start collecting some things ALLOWED by stacked borrows in a run-pass… 

    … test
    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    430e047 View commit details
    Browse the repository at this point in the history

  6. More extensive slice and vec tests 

    Not all of them pass validation...
    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    3302656 View commit details
    Browse the repository at this point in the history

  7. put all the logic into reactivatable()

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    478f137 View commit details
    Browse the repository at this point in the history

  8. rename RefKind to UsageKind, because it not only used for references now

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    8153449 View commit details
    Browse the repository at this point in the history

  9. use crate:: import to make edition port easier later

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    a68779f View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2018

  1. Merge remote-tracking branch 'origin/master' into rustup

    @RalfJung
    RalfJung committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    dc859f3 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2018

  1. bump Rust version

    @RalfJung
    RalfJung committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    e9f79f5 View commit details
    Browse the repository at this point in the history

  2. illegal_write2 does not work with optimizations

    @RalfJung
    RalfJung committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    5f42aa6 View commit details
    Browse the repository at this point in the history

  3. fix adding default arguments

    @RalfJung
    RalfJung committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    8da2c9e View commit details
    Browse the repository at this point in the history

  4. typo 

    Co-Authored-By: RalfJung <post@ralfj.de>
    @oli-obk @RalfJung
    oli-obk and RalfJung authored Nov 3, 2018
    Configuration menu
    Copy the full SHA
    8ac5d98 View commit details
    Browse the repository at this point in the history

  5. comment on mut-to-shr transmutes

    @RalfJung
    RalfJung committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    cb691b7 View commit details
    Browse the repository at this point in the history