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

Support for Mocking in C# Compiler #1809

Merged
merged 46 commits into from
Mar 28, 2022
Merged

Support for Mocking in C# Compiler #1809

merged 46 commits into from
Mar 28, 2022

Commits on Oct 21, 2021

  1. Mocking for {:test} attribute

    @Dargones
    Dargones committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    aa1cdcb View commit details
    Browse the repository at this point in the history

  2. Fix accidental change

    @Dargones
    Dargones committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    7ab10f0 View commit details
    Browse the repository at this point in the history

  3. A different test and a fix

    @Dargones
    Dargones committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    c307c4e View commit details
    Browse the repository at this point in the history

  4. fix(semanticCommit): learning new things every day also removed that … 

    …TODO
    @Dargones
    Dargones committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    4300897 View commit details
    Browse the repository at this point in the history

  5. fix: making the pr semantic

    @Dargones
    Dargones committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    a3405f7 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2021

  1. Merge branch 'dafny-lang:master' into counterexamples

    @Dargones
    Dargones authored Nov 2, 2021
    Configuration menu
    Copy the full SHA
    a832b13 View commit details
    Browse the repository at this point in the history

  2. Mocks using extern

    @Dargones
    Dargones committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    b6e2df4 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2022

  1. Dummy commit

    @Dargones
    Dargones committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    f61a3a3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dafny-lang:master' into testFrameworkCSharp

    @Dargones
    Dargones authored Jan 25, 2022
    Configuration menu
    Copy the full SHA
    9648bb6 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2022

  1. Mocking First Steps

    @Dargones
    Dargones committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    9d69721 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2022

  1. Basic Argument Matching

    @Dargones
    Dargones committed Jan 29, 2022
    Configuration menu
    Copy the full SHA
    58c47ba View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2022

  1. Mock Fields

    @Dargones
    Dargones committed Jan 30, 2022
    Configuration menu
    Copy the full SHA
    c9fab47 View commit details
    Browse the repository at this point in the history

  2. MockWriter class

    @Dargones
    Dargones committed Jan 30, 2022
    Configuration menu
    Copy the full SHA
    bf8ab5f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dafny-lang:master' into testFrameworkCSharp

    @Dargones
    Dargones authored Jan 30, 2022
    Configuration menu
    Copy the full SHA
    6f5c75b View commit details
    Browse the repository at this point in the history

  4. Improve Readability

    @Dargones
    Dargones committed Jan 30, 2022
    Configuration menu
    Copy the full SHA
    2237bd3 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny… 

    … into testFrameworkCSharp
    @Dargones
    Dargones committed Jan 30, 2022
    Configuration menu
    Copy the full SHA
    e96574e View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2022

  1. Merge branch 'dafny-lang:master' into testFrameworkCSharp

    @Dargones
    Dargones authored Feb 10, 2022
    Configuration menu
    Copy the full SHA
    dbe04a0 View commit details
    Browse the repository at this point in the history

  2. Compiler style changes

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    1b20628 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny… 

    … into testFrameworkCSharp
    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    67bb487 View commit details
    Browse the repository at this point in the history

  4. More tests

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    d643d70 View commit details
    Browse the repository at this point in the history

  5. Unique Identifiers

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    1eddfc7 View commit details
    Browse the repository at this point in the history

  6. Arbitrary Argument Order

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    e812b43 View commit details
    Browse the repository at this point in the history

  7. More detailed documentation

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    5f4aa99 View commit details
    Browse the repository at this point in the history

  8. compileMocks attribute

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    28df976 View commit details
    Browse the repository at this point in the history

  9. CrossReferencing

    @Dargones
    Dargones committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    1af8f55 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2022

  1. Performance and code style

    @Dargones
    Dargones committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    5ea83e0 View commit details
    Browse the repository at this point in the history

  2. Move mockign to separate file

    @Dargones
    Dargones committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    a251c4c View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2022

  1. List import fix

    @Dargones
    Dargones committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    3493053 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2022

  1. Merge branch 'master' into testFrameworkCSharp

    @keyboardDrummer
    keyboardDrummer authored Feb 21, 2022
    Configuration menu
    Copy the full SHA
    52dcf8e View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2022

  1. Functional changes

    @Dargones
    Dargones committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    e87a103 View commit details
    Browse the repository at this point in the history

  2. Rename mock to synthesize

    @Dargones
    Dargones committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    db6d3a8 View commit details
    Browse the repository at this point in the history

  3. More renaming

    @Dargones
    Dargones committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    f99c77d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny… 

    … into testFrameworkCSharp
    @Dargones
    Dargones committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    51c2d28 View commit details
    Browse the repository at this point in the history

  5. Inlcude Lists

    @Dargones
    Dargones committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    d01a357 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'dafny-lang:master' into testFrameworkCSharp

    @Dargones
    Dargones authored Mar 8, 2022
    Configuration menu
    Copy the full SHA
    68a7a86 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2022

  1. Rename mock to synthesize in docs 

    Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
    @Dargones @robin-aws
    Dargones and robin-aws authored Mar 20, 2022
    Configuration menu
    Copy the full SHA
    5be5a55 View commit details
    Browse the repository at this point in the history

  2. Update comments for Synthesizer-Csharp.cs 

    Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
    @Dargones @robin-aws
    Dargones and robin-aws authored Mar 20, 2022
    Configuration menu
    Copy the full SHA
    3a7f1b5 View commit details
    Browse the repository at this point in the history

  3. Proposed changes

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    d3e2fa5 View commit details
    Browse the repository at this point in the history

  4. Merge changes from main repo

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    432defb View commit details
    Browse the repository at this point in the history

  5. Use CHECK directive

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    1f2fb41 View commit details
    Browse the repository at this point in the history

  6. Scan AST for synthesize attribute

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    d793691 View commit details
    Browse the repository at this point in the history

  7. dotnet-format

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    dfca43c View commit details
    Browse the repository at this point in the history

  8. dummy commit

    @Dargones
    Dargones committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    70d2b92 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2022

  1. Remove unintentional file add

    @robin-aws
    robin-aws authored Mar 28, 2022
    Configuration menu
    Copy the full SHA
    6c87875 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into testFrameworkCSharp

    @robin-aws
    robin-aws authored Mar 28, 2022
    Configuration menu
    Copy the full SHA
    42a86ce View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into testFrameworkCSharp

    @robin-aws
    robin-aws authored Mar 28, 2022
    Configuration menu
    Copy the full SHA
    be37e48 View commit details
    Browse the repository at this point in the history