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

feat: Method calls with a by-proof #5662

Merged
merged 21 commits into from
Aug 12, 2024
Merged

feat: Method calls with a by-proof #5662

merged 21 commits into from
Aug 12, 2024

Commits on Aug 1, 2024

  1. parsing, printing, and resolution

    @fabiomadge
    fabiomadge committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    3397cdc View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. fixes

    @fabiomadge
    fabiomadge committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    12edb9e View commit details
    Browse the repository at this point in the history

  2. review and parser tweaks

    @fabiomadge
    fabiomadge committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    cad8d06 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. verifier changes

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    0d9ce65 View commit details
    Browse the repository at this point in the history

  2. Empty-Commit

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    8c70eed View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into method_call_by

    @fabiomadge
    fabiomadge authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    1719e96 View commit details
    Browse the repository at this point in the history

  4. fix merge

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    7e90100 View commit details
    Browse the repository at this point in the history

  5. add tests

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    cf45a17 View commit details
    Browse the repository at this point in the history

  6. docs

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    2a8e1df View commit details
    Browse the repository at this point in the history

  7. obvious test fixes

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    7fc015a View commit details
    Browse the repository at this point in the history

  8. remove unnecessary assert

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    fef9eca View commit details
    Browse the repository at this point in the history

  9. fix TestGeneration

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    50ceba0 View commit details
    Browse the repository at this point in the history

  10. use actual call for test generation

    @fabiomadge
    fabiomadge committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    67c612a View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. review

    @fabiomadge
    fabiomadge committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    5b9833f View commit details
    Browse the repository at this point in the history

  2. resolution tests

    @fabiomadge
    fabiomadge committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1b463a6 View commit details
    Browse the repository at this point in the history

  3. review

    @fabiomadge
    fabiomadge committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    50d4d10 View commit details
    Browse the repository at this point in the history

  4. adjust ids again

    @fabiomadge
    fabiomadge committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    bec0763 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. dedup

    @fabiomadge
    fabiomadge committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    f93e007 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2024

  1. remove whitespace

    @fabiomadge
    fabiomadge committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    056a658 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. add test for hide

    @fabiomadge
    fabiomadge committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    27cded3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into method_call_by

    @fabiomadge
    fabiomadge committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    949bea6 View commit details
    Browse the repository at this point in the history