Code

Add a nondet inv op#6

Code

Merged

tzerrell merged 7 commits intomainrisc0/zirgen:mainfrom tzerrell/bigint-nondet-invrisc0/zirgen:tzerrell/bigint-nondet-invCopy head branch name to clipboardAug 20, 2024

+159-3

Commits

Commits on Aug 16, 2024

• Add Nondet Inv op to BigInt

  tzerrell

  committed
  4cf12b1

  Copy full SHA for 4cf12b1

• Add cargo bootstrap alias

  tzerrell

  committed
  8fb180f

  Copy full SHA for 8fb180f

• Add cargo bootstrap alias

  tzerrell

  committed
  38399f5

  Copy full SHA for 38399f5

• Merge branch 'tzerrell/cargo-bootstrap' into tzerrell/bigint-nondet-inv

  tzerrell

  committed
  639e352

  Copy full SHA for 639e352

• Merge branch 'main' into tzerrell/bigint-nondet-inv

  tzerrell

  committed
  f1f13c6

  Copy full SHA for f1f13c6

• Format

  tzerrell

  committed
  eb314b7

  Copy full SHA for eb314b7

Commits on Aug 20, 2024

• Merge branch 'main' into tzerrell/bigint-nondet-inv

  tzerrell

  authored
  94eb6c1

  Copy full SHA for 94eb6c1