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

Add WIP stable MIR crate #97385

Merged
merged 12 commits into from
Jun 14, 2022
Merged

Add WIP stable MIR crate #97385

merged 12 commits into from
Jun 14, 2022

Commits on May 25, 2022

  1. Add WIP stable MIR crate

    @oli-obk
    oli-obk committed May 25, 2022
    Configuration menu
    Copy the full SHA
    3e0c1c8 View commit details
    Browse the repository at this point in the history

  2. Add instructions

    @oli-obk
    oli-obk committed May 25, 2022
    Configuration menu
    Copy the full SHA
    d9a3f5c View commit details
    Browse the repository at this point in the history

  3. Add additional crates to `very_unstable 

    Adds some additional crates used by Creusot.
    @xldenis @oli-obk
    xldenis authored and oli-obk committed May 25, 2022
    Configuration menu
    Copy the full SHA
    fe76f03 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2022

  1. Documentation never hurts

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    e5b824c View commit details
    Browse the repository at this point in the history

  2. Update instructions

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    36f3c03 View commit details
    Browse the repository at this point in the history

  3. Rustfmt

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    9da5e13 View commit details
    Browse the repository at this point in the history

  4. record which nightly we support

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    615f8c5 View commit details
    Browse the repository at this point in the history

  5. Make the crate work both in rustc and locally

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    9abcb5c View commit details
    Browse the repository at this point in the history

  6. Add 'compiler/rustc_smir/' from commit '9abcb5c7b574cf316eb23d3f46918… 

    …7bb86ba3019'

git-subtree-dir: compiler/rustc_smir
git-subtree-mainline: fb19760
git-subtree-split: 9abcb5c
    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    bec7538 View commit details
    Browse the repository at this point in the history

  7. Ship rustc_smir with rustc

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    9960cc1 View commit details
    Browse the repository at this point in the history

  8. List all crates used in crate source in Cargo.toml

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    0324ac8 View commit details
    Browse the repository at this point in the history

  9. Rustfmt

    @oli-obk
    oli-obk committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    7cba9ed View commit details
    Browse the repository at this point in the history