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

Counterexamples - fix integer parsing bug and improve code quality #2461

Merged
merged 13 commits into from
Aug 4, 2022
Merged

Counterexamples - fix integer parsing bug and improve code quality #2461

merged 13 commits into from
Aug 4, 2022

Commits on Jul 21, 2022

  1. Improved Counterexamples

    Sasha Fedchin committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    41036fa View commit details
    Browse the repository at this point in the history

  2. Update Release Notes

    Sasha Fedchin committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    e008576 View commit details
    Browse the repository at this point in the history

  3. redo dotnet format

    Sasha Fedchin committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    3184749 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into counterexampleQuality

    @Dargones
    Dargones authored Jul 21, 2022
    Configuration menu
    Copy the full SHA
    1efc849 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. Update RELEASE_NOTES.md 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @Dargones @MikaelMayer
    Dargones and MikaelMayer authored Jul 25, 2022
    Configuration menu
    Copy the full SHA
    9995cd9 View commit details
    Browse the repository at this point in the history

  2. Remove redundant line 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @Dargones @MikaelMayer
    Dargones and MikaelMayer authored Jul 25, 2022
    Configuration menu
    Copy the full SHA
    1da90b3 View commit details
    Browse the repository at this point in the history

  3. Remove interpolant '$' 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @Dargones @MikaelMayer
    Dargones and MikaelMayer authored Jul 25, 2022
    Configuration menu
    Copy the full SHA
    43f8c1e View commit details
    Browse the repository at this point in the history

  4. Remove more interpolant '$'

    Sasha Fedchin committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    f2240ee View commit details
    Browse the repository at this point in the history

  5. Enable nullable

    Sasha Fedchin committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    def05ee View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into counterexampleQuality

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

Commits on Jul 27, 2022

  1. remove nullable annotations

    Sasha Fedchin committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    3636319 View commit details
    Browse the repository at this point in the history

  2. Fix null dereferencing warning

    Sasha Fedchin committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    78ab9c0 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. Merge branch 'master' into counterexampleQuality

    @Dargones
    Dargones authored Aug 4, 2022
    Configuration menu
    Copy the full SHA
    5b4ef40 View commit details
    Browse the repository at this point in the history