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: Compilation of subset types constrained by type parameter #3893

Merged
merged 15 commits into from
May 4, 2023
Merged

fix: Compilation of subset types constrained by type parameter #3893

merged 15 commits into from
May 4, 2023

Commits on Apr 20, 2023

  1. Add test cases

    @RustanLeino
    RustanLeino committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    162a95e View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2023

  1. fix: Improve Subrange verification to reduce a completeness issue 

    Fixes dafny-lang#3891
    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    d2dca99 View commit details
    Browse the repository at this point in the history

  2. fix: Crash in resolver

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    1035bed View commit details
    Browse the repository at this point in the history

  3. fix: For Java 

    Fixes dafny-lang#3883
    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    4bd9803 View commit details
    Browse the repository at this point in the history

  4. fix: For C#

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    079dde2 View commit details
    Browse the repository at this point in the history

  5. fix: For Go

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    34a2db0 View commit details
    Browse the repository at this point in the history

  6. fix: Add cast required by Java for functions 

    Fixes dafny-lang#3892
    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    59e1a32 View commit details
    Browse the repository at this point in the history

  7. Add tests

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    0b6ecd4 View commit details
    Browse the repository at this point in the history

  8. Remove apparently unreachable code

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    8973cd7 View commit details
    Browse the repository at this point in the history

  9. Update tests

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    f65ec61 View commit details
    Browse the repository at this point in the history

  10. Add release notes

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    aa15dc9 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' into issue-3883

    @RustanLeino
    RustanLeino committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    2bd8e7e View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2023

  1. Update 3892-fix to cover additional bugs

    @RustanLeino
    RustanLeino committed Apr 22, 2023
    Configuration menu
    Copy the full SHA
    dc7fb51 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. Merge branch 'master' into issue-3883

    @RustanLeino
    RustanLeino committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    539c006 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2023

  1. Merge branch 'master' into issue-3883

    @RustanLeino
    RustanLeino committed May 4, 2023
    Configuration menu
    Copy the full SHA
    d65ad03 View commit details
    Browse the repository at this point in the history