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

Add API for generic data directory #335

Open
wants to merge 6 commits into
base: dev
Choose a base branch
from
Open

Add API for generic data directory #335

wants to merge 6 commits into from
+214 −8

Commits on Mar 28, 2024

  1. add API for data directory

    Hanting Zhang committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    6206b8c View commit details
    Browse the repository at this point in the history

  2. use home, non-wasm builds

    Hanting Zhang committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    e5bc63c View commit details
    Browse the repository at this point in the history

  3. write r1cs_primary

    Hanting Zhang committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    cbd15e3 View commit details
    Browse the repository at this point in the history

  4. cleanup

    Hanting Zhang committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    ef869a7 View commit details
    Browse the repository at this point in the history

  5. separate different sparse matrices

    Hanting Zhang committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    7110611 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. write results too

    @winston-h-zhang
    winston-h-zhang committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    e129704 View commit details
    Browse the repository at this point in the history