Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

feat(acvm)!: Support stepwise execution of ACIR #399

Merged
merged 16 commits into from
Jul 26, 2023
Merged

feat(acvm)!: Support stepwise execution of ACIR #399

merged 16 commits into from
Jul 26, 2023

Commits on Jul 17, 2023

  1. feat(acvm)!: update ACVM to support stepwise execution

    @TomAFrench
    TomAFrench committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    c96b986 View commit details
    Browse the repository at this point in the history

  2. chore: remove UnresolvedBrilligCall

    @TomAFrench
    TomAFrench committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    ffe361c View commit details
    Browse the repository at this point in the history

  3. chore: clippy

    @TomAFrench
    TomAFrench committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    b0bf98e View commit details
    Browse the repository at this point in the history

  4. chore: remove unused dependency

    @TomAFrench
    TomAFrench committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0f0bf31 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into linear-acvm

    @kevaundray
    kevaundray authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    a71860c View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Merge branch 'master' into linear-acvm

    @TomAFrench
    TomAFrench committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    a7038fb View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. fix: solvable intermediate gates for csat (#433) 

    Co-authored-by: TomAFrench <tom@tomfren.ch>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
    @guipublic @TomAFrench
    3 people authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    ed54414 View commit details
    Browse the repository at this point in the history

  2. chore: index -> value

    @TomAFrench
    TomAFrench committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    b7d70a1 View commit details
    Browse the repository at this point in the history

  3. chore: show value in read ops

    @TomAFrench
    TomAFrench committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    144ca59 View commit details
    Browse the repository at this point in the history

  4. chore: add test for memory operations

    @TomAFrench
    TomAFrench committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    f6e97cc View commit details
    Browse the repository at this point in the history

  5. fix: preserve atomic memory opcodes in transformation pass

    @TomAFrench
    TomAFrench committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    e6b2ee4 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. chore: clean up testcase

    @TomAFrench
    TomAFrench committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    6f33bc6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into linear-acvm

    @TomAFrench
    TomAFrench committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    ed39625 View commit details
    Browse the repository at this point in the history

  3. chore: replace single letter variables

    @TomAFrench
    TomAFrench committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    9054218 View commit details
    Browse the repository at this point in the history

  4. chore: clippy

    @TomAFrench
    TomAFrench committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    b23a47b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into linear-acvm

    @TomAFrench
    TomAFrench authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    62e4b92 View commit details
    Browse the repository at this point in the history