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

Change reachability module to use StableMIR #2894

Merged
merged 12 commits into from
Nov 30, 2023
Merged

Change reachability module to use StableMIR #2894

merged 12 commits into from
Nov 30, 2023

Commits on Nov 27, 2023

  1. Add initial reachability based on SMIR 

    Keep this under a feature for now until we can assess perfomance.

This is still not working:
  - Stub error handling
    @celinval
    celinval committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    e5fbbf5 View commit details
    Browse the repository at this point in the history

  2. Handle stubbing error with associated constant

    @celinval
    celinval committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    062386c View commit details
    Browse the repository at this point in the history

  3. Make stable mir reachability default

    @celinval
    celinval committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    7bdafad View commit details
    Browse the repository at this point in the history

  4. Update the rust toolchain to nightly-2023-11-27

    @celinval
    celinval committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    63795a0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into smir-reachability

    @celinval
    celinval authored Nov 27, 2023
    Configuration menu
    Copy the full SHA
    abc6eea View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Apply suggestions from code review 

    Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
    @celinval @adpaco-aws
    celinval and adpaco-aws authored Nov 28, 2023
    Configuration menu
    Copy the full SHA
    930380e View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Merge remote-tracking branch 'origin/main' into smir-reachability

    @celinval
    celinval committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9b06760 View commit details
    Browse the repository at this point in the history

  2. Add dev documentation on the StableMIR migration

    @celinval
    celinval committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    98058c2 View commit details
    Browse the repository at this point in the history

  3. Address feedback + merge with main

    @celinval
    celinval committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    78e0982 View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
    @celinval @zhassan-aws
    celinval and zhassan-aws authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f33a537 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into smir-reachability

    @celinval
    celinval authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    ba62017 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into smir-reachability

    @celinval
    celinval authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2378374 View commit details
    Browse the repository at this point in the history