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(acir_gen): Use predicates with MemoryOps #2400

Closed
wants to merge 12 commits into from
Closed

feat(acir_gen): Use predicates with MemoryOps #2400

wants to merge 12 commits into from

Commits on Aug 21, 2023

  1. attach locations to acir MemoryOps and restrict how we push opcodes w… 

    …hen generating acir
    @vezenovm
    vezenovm committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    02b9f9c View commit details
    Browse the repository at this point in the history

  2. better reporting for unconstrained and index out of bounds from acvm

    @vezenovm
    vezenovm committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    5f7a72b View commit details
    Browse the repository at this point in the history

  3. check locations.last() once

    @vezenovm
    vezenovm committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    0ac1c33 View commit details
    Browse the repository at this point in the history

  4. add location data to array_set

    @vezenovm
    vezenovm committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    b3ae589 View commit details
    Browse the repository at this point in the history

  5. fix up compile failure test

    @vezenovm
    vezenovm committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    2602209 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. initial work adding predicates to memops

    @vezenovm
    vezenovm committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    f508f33 View commit details
    Browse the repository at this point in the history

  2. switch to take_opcodes

    @vezenovm
    vezenovm committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    7f93060 View commit details
    Browse the repository at this point in the history

  3. remove old comment

    @vezenovm
    vezenovm committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    77fdc23 View commit details
    Browse the repository at this point in the history

  4. references to git patched acvm and backend

    @vezenovm
    vezenovm committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    476d25f View commit details
    Browse the repository at this point in the history

  5. merge conflcits

    @vezenovm
    vezenovm committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    5a5e0d0 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. merge conflcits w/ master

    @vezenovm
    vezenovm committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    72229fc View commit details
    Browse the repository at this point in the history

  2. cargo fmt and mem_op_predicate regression inside of execution success

    @vezenovm
    vezenovm committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    c235e0a View commit details
    Browse the repository at this point in the history