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.

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

Implement Region for smir #116024

Merged
merged 13 commits into from
Sep 29, 2023
Merged

Implement Region for smir #116024

merged 13 commits into from
Sep 29, 2023

Commits on Sep 28, 2023

  1. Configuration menu
    Copy the full SHA
    02b01a4 View commit details
    Browse the repository at this point in the history
  2. add RegionDef

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e49aa04 View commit details
    Browse the repository at this point in the history
  3. add stable for RegionKind

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    5dc2214 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d835599 View commit details
    Browse the repository at this point in the history
  5. fix imports

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    2069e8c View commit details
    Browse the repository at this point in the history
  6. remove un-needed variants

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    da2f897 View commit details
    Browse the repository at this point in the history
  7. add real folder to Region

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    bb17fe8 View commit details
    Browse the repository at this point in the history
  8. add visitor for Region

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    fed72e0 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    9f2e15d View commit details
    Browse the repository at this point in the history
  10. simplify fold

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    8c41cd0 View commit details
    Browse the repository at this point in the history
  11. visit and fold ty::ref

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    0cca109 View commit details
    Browse the repository at this point in the history
  12. simplify visit

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    eb77903 View commit details
    Browse the repository at this point in the history
  13. remove unimplemented

    ouz-a committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    34f10e2 View commit details
    Browse the repository at this point in the history