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: support for traits as type arguments with variance on datatypes in Java #3072

Merged
merged 21 commits into from
Nov 29, 2022
Merged

feat: support for traits as type arguments with variance on datatypes in Java #3072

merged 21 commits into from
Nov 29, 2022

Commits on Nov 17, 2022

  1. chore: Improve whitespace in C# output

    @RustanLeino
    RustanLeino committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    92e1f0b View commit details
    Browse the repository at this point in the history

  2. chore: Remove unused parameter

    @RustanLeino
    RustanLeino committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    00171ec View commit details
    Browse the repository at this point in the history

  3. Print class objects as their Dafny names in Java

    @RustanLeino
    RustanLeino committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    6d7bb22 View commit details
    Browse the repository at this point in the history

  4. fix: Emit type arguments for codatatypes in Java

    @RustanLeino
    RustanLeino committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    b390493 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2022

  1. feat: Emit upcasts in Java 

    Fixes dafny-lang#2013
    @RustanLeino
    RustanLeino committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    35a5e59 View commit details
    Browse the repository at this point in the history

  2. Update tests

    @RustanLeino
    RustanLeino committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    4997593 View commit details
    Browse the repository at this point in the history

  3. Add new tests

    @RustanLeino
    RustanLeino committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    28e8179 View commit details
    Browse the repository at this point in the history

  4. Add release notes

    @RustanLeino
    RustanLeino committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    6f9df38 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into issue-2013

    @RustanLeino
    RustanLeino authored Nov 18, 2022
    Configuration menu
    Copy the full SHA
    01e85e4 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2022

  1. Merge branch 'master' into issue-2013

    @RustanLeino
    RustanLeino authored Nov 21, 2022
    Configuration menu
    Copy the full SHA
    8c70206 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

  1. Merge branch 'master' into issue-2013

    @RustanLeino
    RustanLeino authored Nov 23, 2022
    Configuration menu
    Copy the full SHA
    f920e18 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2022

  1. Merge branch 'master' into issue-2013

    @RustanLeino
    RustanLeino committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    f27a4b2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into issue-2013

    @RustanLeino
    RustanLeino authored Nov 28, 2022
    Configuration menu
    Copy the full SHA
    dda06c7 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2022

  1. Update Source/DafnyCore/Compilers/Compiler-Csharp.cs 

    Co-authored-by: Fabio Madge <[email protected]>
    @RustanLeino @fabiomadge
    RustanLeino and fabiomadge authored Nov 29, 2022
    Configuration menu
    Copy the full SHA
    ddbf743 View commit details
    Browse the repository at this point in the history

  2. Update Source/DafnyCore/Compilers/SinglePassCompiler.cs 

    Co-authored-by: Fabio Madge <[email protected]>
    @RustanLeino @fabiomadge
    RustanLeino and fabiomadge authored Nov 29, 2022
    Configuration menu
    Copy the full SHA
    fdb63aa View commit details
    Browse the repository at this point in the history

  3. Improve release notes

    @RustanLeino
    RustanLeino committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    bbdfde3 View commit details
    Browse the repository at this point in the history

  4. Update Test/git-issues/git-issue-2013.dfy 

    Co-authored-by: Fabio Madge <[email protected]>
    @RustanLeino @fabiomadge
    RustanLeino and fabiomadge authored Nov 29, 2022
    Configuration menu
    Copy the full SHA
    52adeac View commit details
    Browse the repository at this point in the history

  5. Update Source/DafnyCore/Compilers/Compiler-java.cs 

    Co-authored-by: Fabio Madge <[email protected]>
    @RustanLeino @fabiomadge
    RustanLeino and fabiomadge authored Nov 29, 2022
    Configuration menu
    Copy the full SHA
    737a6ba View commit details
    Browse the repository at this point in the history

  6. Merge branch 'issue-2013' of https://github.com/RustanLeino/dafny int… 

    …o issue-2013
    @RustanLeino
    RustanLeino committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    b84c8f9 View commit details
    Browse the repository at this point in the history

  7. Add some tests

    @RustanLeino
    RustanLeino committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    6da83bf View commit details
    Browse the repository at this point in the history

  8. fix: Qualify codatatype in other module

    @RustanLeino
    RustanLeino committed Nov 29, 2022
    Configuration menu
    Copy the full SHA
    07d4a44 View commit details
    Browse the repository at this point in the history