Code

Add API for generic data directory#335

Code

Open

winston-h-zhang wants to merge 6 commits intodevlurk-lang/arecibo:devfrom cache-witnesslurk-lang/arecibo:cache-witnessCopy head branch name to clipboard

+214-8

Commits

Commits on Mar 28, 2024

• add API for data directory

  

  Hanting Zhang

  committed
  6206b8c

  Copy full SHA for 6206b8c

• use home, non-wasm builds

  

  Hanting Zhang

  committed
  e5bc63c

  Copy full SHA for e5bc63c

• write r1cs_primary

  

  Hanting Zhang

  committed
  cbd15e3

  Copy full SHA for cbd15e3

• cleanup

  

  Hanting Zhang

  committed
  ef869a7

  Copy full SHA for ef869a7

• separate different sparse matrices

  

  Hanting Zhang

  committed
  7110611

  Copy full SHA for 7110611

Commits on Apr 18, 2024

• write results too

  winston-h-zhang

  committed
  e129704

  Copy full SHA for e129704