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: Implement frame-related asserted exprs and TraitDecreases #5542

Merged
merged 10 commits into from
Jun 7, 2024
Merged

feat: Implement frame-related asserted exprs and TraitDecreases #5542

merged 10 commits into from
Jun 7, 2024

Commits on Jun 7, 2024

  1. implement frame-related asserted exprs and TraitDecreases

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    b99dd4c View commit details
    Browse the repository at this point in the history

  2. fix incorrect substitution for args to CheckFrameSubset

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    104f641 View commit details
    Browse the repository at this point in the history

  3. implement ReadFrameSubset asserted expr

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    b7ebc00 View commit details
    Browse the repository at this point in the history

  4. formatting

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    2d9b962 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into alexchew/frame-podesc-exprs

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    0ecb0d2 View commit details
    Browse the repository at this point in the history

  6. cleanup

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    b1ebedd View commit details
    Browse the repository at this point in the history

  7. fix MakeDafnyMultiFrameCheck with empty subsetFrames

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    8e44ac9 View commit details
    Browse the repository at this point in the history

  8. clarify substitution comments

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    cc06580 View commit details
    Browse the repository at this point in the history

  9. fix handling of FunctionCallExpr with non-method/function receiver

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    8d6b741 View commit details
    Browse the repository at this point in the history

  10. fix untyped ThisExpr

    @alex-chew
    alex-chew committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    433d80b View commit details
    Browse the repository at this point in the history