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 seq<trait> in C# #557

Merged
merged 11 commits into from
Mar 9, 2020
Merged

feat!: Support seq<trait> in C# #557

merged 11 commits into from
Mar 9, 2020

Commits on Mar 3, 2020

  1. Partial work

    @robin-aws
    robin-aws committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    e2e06ae View commit details
    Browse the repository at this point in the history

  2. Better naming convention

    @robin-aws
    robin-aws committed Mar 3, 2020
    Configuration menu
    Copy the full SHA
    8392e5a View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2020

  1. More refactoring

    @robin-aws
    robin-aws committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    f60634f View commit details
    Browse the repository at this point in the history

  2. Fix Default<G>()

    @robin-aws
    robin-aws committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    2ece678 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2020

  1. Fix test, remove DafnyRuntimeTests (for now)

    @robin-aws
    robin-aws committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    ec8405e View commit details
    Browse the repository at this point in the history

  2. Moved tests into RuntimeTypeTests0.dfy, updated comments

    @robin-aws
    robin-aws committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    8d66c02 View commit details
    Browse the repository at this point in the history

  3. More accurate compiler error comments

    @robin-aws
    robin-aws committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    2a97770 View commit details
    Browse the repository at this point in the history

  4. Improve use of Type reflection, fix expected error line numbers

    @robin-aws
    robin-aws committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    e55eebc View commit details
    Browse the repository at this point in the history

  5. Handle non-generic types

    @robin-aws
    robin-aws committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    a2b3639 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2020

  1. Add runtime tests for covariant sequences

    @robin-aws
    robin-aws committed Mar 9, 2020
    Configuration menu
    Copy the full SHA
    97319ee View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:dafny-lang/dafny into compile-seq… 

    …-of-trait-in-csharp
    @robin-aws
    robin-aws committed Mar 9, 2020
    Configuration menu
    Copy the full SHA
    bfea981 View commit details
    Browse the repository at this point in the history