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

fix: Check for correct use of type characteristics in ghosts and default expressions #4928

Merged
merged 21 commits into from
Jan 22, 2024
Merged

fix: Check for correct use of type characteristics in ghosts and default expressions #4928

merged 21 commits into from
Jan 22, 2024

Commits on Jan 3, 2024

  1. fix: Check for correct use of (!new), (0), and (00) in ghosts and def… 

    …ault expressions

Fixes dafny-lang#4926
    @RustanLeino
    RustanLeino committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    7e84d5e View commit details
    Browse the repository at this point in the history

  2. Add release notes

    @RustanLeino
    RustanLeino committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    38b7c9f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into fix-4926

    @stefan-aws
    stefan-aws authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    7c63cc8 View commit details
    Browse the repository at this point in the history

  4. Add missing type characteristics to test files

    @RustanLeino
    RustanLeino committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    092b39c View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    9c4a5d8 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. chore: Clean up whitespace and unnecessary triggers

    @RustanLeino
    RustanLeino committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    20e7f94 View commit details
    Browse the repository at this point in the history

  2. Add in missing (!new) annotations

    @RustanLeino
    RustanLeino committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    f239162 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    44f3c57 View commit details
    Browse the repository at this point in the history

  4. Fix merge/edit issue

    @RustanLeino
    RustanLeino committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    5ff2a8f View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2024

  1. Add (!new) in missing places

    @RustanLeino
    RustanLeino committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    2deffd8 View commit details
    Browse the repository at this point in the history

  2. Update the .doo files for the standard libraries

    @RustanLeino
    RustanLeino committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    345bbf1 View commit details
    Browse the repository at this point in the history

  3. Fix whitespace

    @RustanLeino
    RustanLeino committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    b087ad9 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    c0ab73a View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 9, 2024
    Configuration menu
    Copy the full SHA
    3288112 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 9, 2024
    Configuration menu
    Copy the full SHA
    cd1e8e7 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 10, 2024
    Configuration menu
    Copy the full SHA
    18475aa View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Merge branch 'master' into fix-4926 

    # Conflicts:
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo
#	Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
#	Source/DafnyStandardLibraries/src/Std/Collections/Seq.dfy
    @RustanLeino
    RustanLeino committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    09852b5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    7d6a842 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into fix-4926

    @RustanLeino
    RustanLeino authored Jan 19, 2024
    Configuration menu
    Copy the full SHA
    b9a310e View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2024

  1. Remove {:opaque} attribute from lemmas

    @RustanLeino
    RustanLeino committed Jan 20, 2024
    Configuration menu
    Copy the full SHA
    cfb2704 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Merge branch 'master' into fix-4926

    @keyboardDrummer
    keyboardDrummer authored Jan 22, 2024
    Configuration menu
    Copy the full SHA
    ccc7563 View commit details
    Browse the repository at this point in the history