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

fix: Cross-modular override check #3223

Merged
merged 21 commits into from
Jan 25, 2023
Merged

fix: Cross-modular override check #3223

merged 21 commits into from
Jan 25, 2023

Commits on Nov 24, 2022

  1. skip equality generation in the check

    @fabiomadge
    fabiomadge committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    1f0d29b View commit details
    Browse the repository at this point in the history

  2. delete dead code

    @fabiomadge
    fabiomadge committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    b99bff8 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2022

  1. Merge branch 'master' into fix_overrides_check

    @fabiomadge
    fabiomadge committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    fbedb7a View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. hide override axiom

    @fabiomadge
    fabiomadge committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    342be57 View commit details
    Browse the repository at this point in the history

  2. tuned

    @fabiomadge
    fabiomadge committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    d37cf04 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

  1. review

    @fabiomadge
    fabiomadge committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    d1eb5a8 View commit details
    Browse the repository at this point in the history

  2. \n

    @fabiomadge
    fabiomadge committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    117585e View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. restict substitutions to occurences where this is the receiver

    @fabiomadge
    fabiomadge committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    922049d View commit details
    Browse the repository at this point in the history

  2. use correct hight

    @fabiomadge
    fabiomadge committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    1dc1ed4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into fix_overrides_check

    @fabiomadge
    fabiomadge committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    4c46f74 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. fix tests

    @fabiomadge
    fabiomadge committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    0a3d964 View commit details
    Browse the repository at this point in the history

  2. add tests

    @fabiomadge
    fabiomadge committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    2ee54f7 View commit details
    Browse the repository at this point in the history

  3. typo

    @fabiomadge
    fabiomadge committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    0c3cb41 View commit details
    Browse the repository at this point in the history

  4. remove comment

    @fabiomadge
    fabiomadge committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    54e1cfd View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into fix_overrides_check

    @fabiomadge
    fabiomadge authored Jan 5, 2023
    Configuration menu
    Copy the full SHA
    2e67b54 View commit details
    Browse the repository at this point in the history

  6. add comment about incompleteness of the encoding

    @fabiomadge
    fabiomadge committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    923f38a View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. Merge branch 'master' into fix_overrides_check

    @fabiomadge
    fabiomadge authored Jan 19, 2023
    Configuration menu
    Copy the full SHA
    7d8fe8f View commit details
    Browse the repository at this point in the history

  2. weaker -> stronger

    @fabiomadge
    fabiomadge committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    d9ae00a View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. document deficiency of the encoding

    @fabiomadge
    fabiomadge committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    ee6c02d View commit details
    Browse the repository at this point in the history

  2. rename

    @fabiomadge
    fabiomadge committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    a86643c View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. Merge branch 'master' into fix_overrides_check

    @robin-aws
    robin-aws authored Jan 25, 2023
    Configuration menu
    Copy the full SHA
    01b2f4b View commit details
    Browse the repository at this point in the history