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

modify alias-relate to also normalize ambiguous opaques #120549

Merged
merged 4 commits into from
Feb 13, 2024
Merged

modify alias-relate to also normalize ambiguous opaques #120549

merged 4 commits into from
Feb 13, 2024

Commits on Feb 13, 2024

  1. also try to normalize opaque types in alias-relate 

    with this, alias-relate treats all aliases the same way
and it can be used for structural normalization.
    @lcnr
    lcnr committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    bbe2f6c View commit details
    Browse the repository at this point in the history

  2. use alias-relate to structurally normalize in the solver

    @lcnr
    lcnr committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    3e3e207 View commit details
    Browse the repository at this point in the history

  3. add revisions

    @lcnr
    lcnr committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    e5541cf View commit details
    Browse the repository at this point in the history

  4. one must imagine ci happy

    @lcnr
    lcnr committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    51a1000 View commit details
    Browse the repository at this point in the history