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

feat: LT/LTE for AVM #5559

Merged
merged 18 commits into from
Apr 10, 2024
Merged

feat: LT/LTE for AVM #5559

merged 18 commits into from
Apr 10, 2024

Commits on Apr 10, 2024

  1. feat: init avm cmp

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    4a38481 View commit details
    Browse the repository at this point in the history

  2. feat: range_chk for cmp

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    d2da4d0 View commit details
    Browse the repository at this point in the history

  3. fix:wip

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    56b314e View commit details
    Browse the repository at this point in the history

  4. fix: address initial comments

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    c6cca90 View commit details
    Browse the repository at this point in the history

  5. fix: address explainer

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    52000ec View commit details
    Browse the repository at this point in the history

  6. Modify comments in the security proofs (#5588)

    @jeanmon @IlyasRidhuan
    jeanmon authored and IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    cd19438 View commit details
    Browse the repository at this point in the history

  7. fix: more comments

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    8f414b3 View commit details
    Browse the repository at this point in the history

  8. fix: cmp_sel changes

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    df8bd55 View commit details
    Browse the repository at this point in the history

  9. feat: some wip

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    9066ff0 View commit details
    Browse the repository at this point in the history

  10. fix: 16_bit range checks

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    fa9f9a5 View commit details
    Browse the repository at this point in the history

  11. fix: add negative tests

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    eac00c5 View commit details
    Browse the repository at this point in the history

  12. chore: clean up comments

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    ef308ad View commit details
    Browse the repository at this point in the history

  13. chore: rebase

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    c8727ea View commit details
    Browse the repository at this point in the history

  14. chore: clean up

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    5a3975a View commit details
    Browse the repository at this point in the history

  15. test: negative range check tests

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    56d37bc View commit details
    Browse the repository at this point in the history

  16. test: add mem_tags and simplify counter clearing

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    21bdef4 View commit details
    Browse the repository at this point in the history

  17. chore: final fixes

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    bdff6f8 View commit details
    Browse the repository at this point in the history

  18. fix: initial value to satisfy gcc build

    @IlyasRidhuan
    IlyasRidhuan committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    3035c92 View commit details
    Browse the repository at this point in the history