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

Add regular & fixme tests for function contracts #3371

Merged
merged 10 commits into from
Oct 24, 2024
Merged

Add regular & fixme tests for function contracts #3371

merged 10 commits into from
Oct 24, 2024

Commits on Jul 22, 2024

  1. Test contract support to parameter patterns

    @celinval
    celinval committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    9813172 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Add fixme tests for contracts for different issues

    @celinval
    celinval committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    aac359f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into issue-3206-tests

    @celinval
    celinval authored Jul 26, 2024
    Configuration menu
    Copy the full SHA
    01fa123 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge branch 'main' into issue-3206-tests

    @feliperodri
    feliperodri authored Aug 2, 2024
    Configuration menu
    Copy the full SHA
    eaf3c68 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
    @celinval @zhassan-aws
    celinval and zhassan-aws authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    ea91888 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. update tests

    @carolynzech
    carolynzech committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    2fd0fe4 View commit details
    Browse the repository at this point in the history

  2. remove charon submodule

    @carolynzech
    carolynzech committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    62f2855 View commit details
    Browse the repository at this point in the history

  3. remove test copy

    @carolynzech
    carolynzech committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    f742cd2 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. Merge branch 'main' into issue-3206-tests

    @celinval
    celinval authored Oct 24, 2024
    Configuration menu
    Copy the full SHA
    d231bcc View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
    @celinval @zhassan-aws
    celinval and zhassan-aws authored Oct 24, 2024
    Configuration menu
    Copy the full SHA
    44b282d View commit details
    Browse the repository at this point in the history