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

Do not flatten matches for C# #5509

Closed
wants to merge 42 commits into from
Closed

Do not flatten matches for C# #5509

wants to merge 42 commits into from

Commits on May 29, 2024

  1. Add patterns/codeSize test

    @keyboardDrummer
    keyboardDrummer committed May 29, 2024
    Configuration menu
    Copy the full SHA
    97d81e2 View commit details
    Browse the repository at this point in the history

  2. Update codeSize test

    @keyboardDrummer
    keyboardDrummer committed May 29, 2024
    Configuration menu
    Copy the full SHA
    e77441a View commit details
    Browse the repository at this point in the history

  3. Split off statement part from SPCG

    @keyboardDrummer
    keyboardDrummer committed May 29, 2024
    Configuration menu
    Copy the full SHA
    547317f View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. Draft of nested match compiler

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    55b4cde View commit details
    Browse the repository at this point in the history

  2. Save

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    b4bc5cf View commit details
    Browse the repository at this point in the history

  3. Generated code looks good upon visual inspection

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    f10aa78 View commit details
    Browse the repository at this point in the history

  4. Generated code compiles and runs

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    ee9ae6f View commit details
    Browse the repository at this point in the history

  5. Move NestedMatch generation to just C#

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    069dddb View commit details
    Browse the repository at this point in the history

  6. Attempt at implementation for expressions

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    da513a0 View commit details
    Browse the repository at this point in the history

  7. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    88536c8 View commit details
    Browse the repository at this point in the history

  8. Fixes

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    f13be6e View commit details
    Browse the repository at this point in the history

  9. Update C# code generator zo it also uses custom generation for nested… 

    … match expressions in an expression context
    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    a61d607 View commit details
    Browse the repository at this point in the history

  10. Regen GeneratedFromDafny code

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    846ad62 View commit details
    Browse the repository at this point in the history

  11. Revert "Regen GeneratedFromDafny code" 

    This reverts commit 846ad62.
    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    85c1b20 View commit details
    Browse the repository at this point in the history

  12. Fix gen

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    3660a37 View commit details
    Browse the repository at this point in the history

  13. Fixes for generics

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    26000a5 View commit details
    Browse the repository at this point in the history

  14. Update generated files

    @keyboardDrummer
    keyboardDrummer committed May 30, 2024
    Configuration menu
    Copy the full SHA
    2805584 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'master' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer authored May 30, 2024
    Configuration menu
    Copy the full SHA
    09f39f8 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Fix bug related to disjoint patterns

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    82a5d71 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'noFlattenForCSharp' of github.com:keyboardDrummer/dafny… 

    … into noFlattenForCSharp
    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    c32be6f View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    861cee7 View commit details
    Browse the repository at this point in the history

  4. Fix literal pattern bug

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    1e25d7b View commit details
    Browse the repository at this point in the history

  5. Remove DatatypeWrapperEraser.IsErasableDatatypeWrapper check

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    6791e43 View commit details
    Browse the repository at this point in the history

  6. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    eedcf47 View commit details
    Browse the repository at this point in the history

  7. Fix bug in disjunctive assignments

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    6f981ab View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer authored May 31, 2024
    Configuration menu
    Copy the full SHA
    0bd8c0d View commit details
    Browse the repository at this point in the history

  9. Trigger CI

    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    903f2bf View commit details
    Browse the repository at this point in the history

  10. Merge branch 'noFlattenForCSharp' of github.com:keyboardDrummer/dafny… 

    … into noFlattenForCSharp
    @keyboardDrummer
    keyboardDrummer committed May 31, 2024
    Configuration menu
    Copy the full SHA
    5d9dc07 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Fixes

    @keyboardDrummer
    keyboardDrummer committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    9477c6f View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    b919fa8 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. Add force integration tests code

    @keyboardDrummer
    keyboardDrummer committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    c6de95b View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. Merge branch 'master' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer authored Jun 4, 2024
    Configuration menu
    Copy the full SHA
    0672492 View commit details
    Browse the repository at this point in the history

  2. Convert if else chains to switch

    @keyboardDrummer
    keyboardDrummer committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    3c86dd7 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Merge commit 'a748799eef1d7~1' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    e45420a View commit details
    Browse the repository at this point in the history

  2. Merge commit 'a748799eef1d7' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    b8de307 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into noFlattenForCSharp

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    f97bf09 View commit details
    Browse the repository at this point in the history

  4. Ran formatter

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    75bb47e View commit details
    Browse the repository at this point in the history

  5. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    e1bb707 View commit details
    Browse the repository at this point in the history

  6. Further refactoring

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    dbcb4a4 View commit details
    Browse the repository at this point in the history

  7. Further refactoring

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    420a13b View commit details
    Browse the repository at this point in the history

  8. Generate from Dafny

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    8950908 View commit details
    Browse the repository at this point in the history

  9. Remove codeSize test

    @keyboardDrummer
    keyboardDrummer committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    41b0de2 View commit details
    Browse the repository at this point in the history