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 assigned(e) expression #5501

Merged
merged 8 commits into from
May 30, 2024
Merged

feat: Implement assigned(e) expression #5501

merged 8 commits into from
May 30, 2024

Commits on May 28, 2024

  1. implement assigned(e) expression

    @alex-chew
    alex-chew committed May 28, 2024
    Configuration menu
    Copy the full SHA
    ac05f47 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. add DefiniteAssignment proof obligation expression

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

  2. update documentation

    @alex-chew
    alex-chew committed May 29, 2024
    Configuration menu
    Copy the full SHA
    cc62103 View commit details
    Browse the repository at this point in the history

  3. fix whitespace

    @alex-chew
    alex-chew committed May 29, 2024
    Configuration menu
    Copy the full SHA
    300c480 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into alexchew/assigned-keyword

    @alex-chew
    alex-chew committed May 29, 2024
    Configuration menu
    Copy the full SHA
    4699073 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into alexchew/assigned-keyword

    @alex-chew
    alex-chew committed May 29, 2024
    Configuration menu
    Copy the full SHA
    10d6229 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into alexchew/assigned-keyword

    @atomb
    atomb committed May 29, 2024
    Configuration menu
    Copy the full SHA
    83c9caf View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. update section number

    @alex-chew
    alex-chew committed May 30, 2024
    Configuration menu
    Copy the full SHA
    61bf419 View commit details
    Browse the repository at this point in the history