Code

Wasm#1

Code

Merged

martyall merged 8 commits intomainl-adic/origami:mainfrom wasml-adic/origami:wasmCopy head branch name to clipboardMay 30, 2024

+2,252-41

Commits

Commits on May 29, 2024

• added wasm solver basic

  martyall

  committed
  a372fbe

  Copy full SHA for a372fbe

Commits on May 30, 2024

• works with both wasm and native witness gen

  martyall

  committed
  86ac70d

  Copy full SHA for 86ac70d

• change to master branch

  martyall

  committed
  c62944d

  Copy full SHA for c62944d

• formatting

  martyall

  committed
  1b7936e

  Copy full SHA for 1b7936e

• added ci

  martyall

  committed
  5713cb9

  Copy full SHA for 5713cb9

• remove wasm from git

  martyall

  committed
  fb5e4b1

  Copy full SHA for fb5e4b1

• clean up formatting

  martyall

  committed
  c3df7a9

  Copy full SHA for c3df7a9

• cli opts

  martyall

  committed
  f166cd6

  Copy full SHA for f166cd6