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: Override checks with canCall precondition #3479

Merged
merged 24 commits into from
Feb 25, 2023
Merged

fix: Override checks with canCall precondition #3479

merged 24 commits into from
Feb 25, 2023

Commits on Feb 8, 2023

  1. add canCall to the override check

    @fabiomadge
    fabiomadge committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    50a55b9 View commit details
    Browse the repository at this point in the history

  2. add release notes

    @fabiomadge
    fabiomadge committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    cfd7f0c View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2023

  1. add function substitutions

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    42983ab View commit details
    Browse the repository at this point in the history

  2. restrict substitution to SSC of checked function

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    cbe5df6 View commit details
    Browse the repository at this point in the history

  3. extract

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    afdaf10 View commit details
    Browse the repository at this point in the history

  4. correct precondition

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    9b6c939 View commit details
    Browse the repository at this point in the history

  5. remove whitelist because of incompleteness and perform override check… 

    … at class level
    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    c231a5f View commit details
    Browse the repository at this point in the history

  6. add test

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    c43e869 View commit details
    Browse the repository at this point in the history

  7. \n

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    e4d8c5f View commit details
    Browse the repository at this point in the history

  8. update comments

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    f7ca5b4 View commit details
    Browse the repository at this point in the history

  9. update tests

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    75a3df1 View commit details
    Browse the repository at this point in the history

  10. disable test that suffers from a orthogonal problem

    @fabiomadge
    fabiomadge committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    065aa5d View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' into fix_overrides_check''

    @fabiomadge
    fabiomadge authored Feb 9, 2023
    Configuration menu
    Copy the full SHA
    6b4fec8 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. fix functionContexHeight across modules

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

  2. revert some of the function axiom changes

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

Commits on Feb 13, 2023

  1. only pull in trait functions

    @fabiomadge
    fabiomadge committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    7fa3075 View commit details
    Browse the repository at this point in the history

  2. be more precise

    @fabiomadge
    fabiomadge committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    60e7430 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2023

  1. make override axiom available at the next level from the overriding f… 

    …unctions perspective
    @fabiomadge
    fabiomadge committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    2b20682 View commit details
    Browse the repository at this point in the history

  2. update PR number

    @fabiomadge
    fabiomadge committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    6c2dc8a View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2023

  1. Merge branch 'master' into fix_overrides_check''

    @fabiomadge
    fabiomadge authored Feb 18, 2023
    Configuration menu
    Copy the full SHA
    80a4f42 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2023

  1. Merge branch 'master' into fix_overrides_check''

    @fabiomadge
    fabiomadge authored Feb 21, 2023
    Configuration menu
    Copy the full SHA
    6346510 View commit details
    Browse the repository at this point in the history

  2. make generated code nicer

    @fabiomadge
    fabiomadge committed Feb 21, 2023
    Configuration menu
    Copy the full SHA
    a804628 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2023

  1. reenable test and simplify another

    @fabiomadge
    fabiomadge committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    2a8510c View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2023

  1. Merge branch 'master' into fix_overrides_check''

    @fabiomadge
    fabiomadge authored Feb 25, 2023
    Configuration menu
    Copy the full SHA
    f653012 View commit details
    Browse the repository at this point in the history