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

Assignable free #3188

Merged
merged 12 commits into from
Jul 17, 2023
Merged

Assignable free #3188

merged 12 commits into from
Jul 17, 2023

Commits on Jun 28, 2023

  1. Implement assignable_free

    @flo2702
    flo2702 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    41a3f0b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/main' into assignableFree

    @flo2702
    flo2702 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    97af17b View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Fix bug where defaults for assignable and assignable_free were switched

    @flo2702
    flo2702 committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    5629590 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Merge remote-tracking branch 'upstream/main' into assignableFree

    @flo2702
    flo2702 committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    e432d0d View commit details
    Browse the repository at this point in the history

  2. Use correct default for assignable_free in JMLSpecFactory

    @flo2702
    flo2702 committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    f4adce7 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Fix broken test case for free conditions on block contracts

    @flo2702
    flo2702 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    3118353 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/main' into assignableFree

    @flo2702
    flo2702 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    fd1b108 View commit details
    Browse the repository at this point in the history

  3. Spotless

    @flo2702
    flo2702 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    38af622 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Merge branch 'main' into assignableFree

    @flo2702
    flo2702 authored Jul 12, 2023
    Configuration menu
    Copy the full SHA
    016271d View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Merge branch 'main' into assignableFree

    @flo2702
    flo2702 authored Jul 13, 2023
    Configuration menu
    Copy the full SHA
    8629b9d View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Merge branch 'main' into assignableFree

    @flo2702
    flo2702 authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0fb51de View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary parentheses in JmlLexer

    @flo2702
    flo2702 authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    91abedd View commit details
    Browse the repository at this point in the history