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

when terminating during unwinding, show the reason why #115045

Merged
merged 8 commits into from
Aug 25, 2023
Merged

when terminating during unwinding, show the reason why #115045

merged 8 commits into from
Aug 25, 2023

Commits on Aug 24, 2023

  1. when terminating during unwinding, show the reason why

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

  2. document more things as needing to stay in sync

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

  3. cache the terminate block with the last reason that we saw

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

  4. add tests for both kinds of unwind-terminate messages

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

  5. bless more mir-opt tests by hand

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

  6. make MIR less verbose

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

  7. attempt to better normalize remote-test-client output for tests

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

Commits on Aug 25, 2023

  1. keep trying which flags we need for this test until it passes bors

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