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

Use a DFS to compare CTFE snapshots #66946

Closed
wants to merge 10 commits into from
Closed

Use a DFS to compare CTFE snapshots #66946

wants to merge 10 commits into from

Commits on Dec 9, 2019

  1. Add erase_alloc_id method to various Miri primitives 

    This method is based on `erase_tag`, and replaces `AllocId`s with `()`.
    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    6faae4d View commit details
    Browse the repository at this point in the history

  2. Derive Hash and Eq for some Miri primitives

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    f0148a5 View commit details
    Browse the repository at this point in the history

  3. Add DFS iterator for Memory

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    840e323 View commit details
    Browse the repository at this point in the history

  4. Remove unused Clone impl for Memory

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    fa5ff3a View commit details
    Browse the repository at this point in the history

  5. Reimplement CTFE snapshot comparison using a DFS

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    37844e5 View commit details
    Browse the repository at this point in the history

  6. Rename is_empty to has_been_invoked

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    26b9146 View commit details
    Browse the repository at this point in the history

  7. Move CtfeMemory alias next to CompileTimeInterpreter

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    345a8d5 View commit details
    Browse the repository at this point in the history

  8. Fix typo 

    Co-Authored-By: Oliver Scherer <[email protected]>
    @ecstatic-morse @oli-obk
    ecstatic-morse and oli-obk committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    e017f57 View commit details
    Browse the repository at this point in the history

  9. Hash discriminant of LocalValue

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    afb4faa View commit details
    Browse the repository at this point in the history

  10. Ensure promotion does not prevent generation of new AllocIds

    @ecstatic-morse
    ecstatic-morse committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    ba22627 View commit details
    Browse the repository at this point in the history