Code

chore: stderr rng warning#1798

Code

Merged

nhtyy merged 2 commits intodevsuccinctlabs/sp1:devfrom n/chore-logsuccinctlabs/sp1:n/chore-logCopy head branch name to clipboardNov 20, 2024

+2-2

Commits

Commits on Nov 19, 2024

• chore: stderr rng warning

  nhtyy

  committed
  74fded7

Commits on Nov 20, 2024

• chore: local prover warning to stderr

  nhtyy

  committed
  339642b