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

Implement deferred_projection_equality for erica solver #107507

Merged
merged 4 commits into from
Feb 11, 2023
Merged

Implement deferred_projection_equality for erica solver #107507

merged 4 commits into from
Feb 11, 2023

Commits on Feb 10, 2023

  1. add AliasEq to PredicateKind

    @BoxyUwU
    BoxyUwU committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    23ab246 View commit details
    Browse the repository at this point in the history

  2. emit AliasEq when relating type and const aliases

    @BoxyUwU
    BoxyUwU committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    1f89e2a View commit details
    Browse the repository at this point in the history

  3. implement compute_alias_eq_goal

    @BoxyUwU
    BoxyUwU committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    fa83c10 View commit details
    Browse the repository at this point in the history

  4. Add tests

    @BoxyUwU
    BoxyUwU committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    4c98429 View commit details
    Browse the repository at this point in the history