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

Refine rules for capture parameters and members #22000

Open
wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Refine rules for capture parameters and members #22000

wants to merge 11 commits into from

Commits on Nov 29, 2024

  1. Make capture parameters and members bounded by CapSet by default

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    4c8300e View commit details
    Browse the repository at this point in the history

  2. Correct rules for CapSet; update definition for Contains; fix tests

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    1016e77 View commit details
    Browse the repository at this point in the history

  3. Refine subsumes rule; fix test

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    dc99105 View commit details
    Browse the repository at this point in the history

  4. Add constraint to capsOf

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    d531cb5 View commit details
    Browse the repository at this point in the history

  5. Update test

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    3c7e419 View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Co-authored-by: Oliver Bračevac <[email protected]>
    @noti0na1 @bracevac
    noti0na1 and bracevac committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    9f665b5 View commit details
    Browse the repository at this point in the history

  7. Fix test

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    25fdb50 View commit details
    Browse the repository at this point in the history

  8. Fix crash error

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    f440e6d View commit details
    Browse the repository at this point in the history

  9. Fix overriding check

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    7aa534f View commit details
    Browse the repository at this point in the history

  10. Update Stepper in the library

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    9b92726 View commit details
    Browse the repository at this point in the history

  11. Clean comments

    @noti0na1
    noti0na1 committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    5a901f4 View commit details
    Browse the repository at this point in the history