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

fix: Require for all foldable functions to use distinct return #4949

Merged
merged 9 commits into from
May 1, 2024
Merged

fix: Require for all foldable functions to use distinct return #4949

merged 9 commits into from
May 1, 2024

Commits on Apr 30, 2024

  1. require for all calls to foldable functions to use distinct return wi… 

    …tnesses
    @vezenovm
    vezenovm committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    4b3a0f0 View commit details
    Browse the repository at this point in the history

  2. clippy

    @vezenovm
    vezenovm committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    573a5c3 View commit details
    Browse the repository at this point in the history

  3. nargo fmt

    @vezenovm
    vezenovm committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    7c1f1a1 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. update debugger ignored tests

    @vezenovm
    vezenovm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    4c8c8a3 View commit details
    Browse the repository at this point in the history

  2. resolve conflict

    @vezenovm
    vezenovm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    25c0107 View commit details
    Browse the repository at this point in the history

  3. update test after always unique return witness gen

    @vezenovm
    vezenovm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    5a66684 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into mv/all-fold-calls-use-distinct

    @vezenovm
    vezenovm authored May 1, 2024
    Configuration menu
    Copy the full SHA
    41c03bc View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into mv/all-fold-calls-use-distinct

    @TomAFrench
    TomAFrench authored May 1, 2024
    Configuration menu
    Copy the full SHA
    910f331 View commit details
    Browse the repository at this point in the history

  6. remove distinctness param

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