Code

chore: sp1 rename#212

Code

Merged

jtguibas merged 19 commits intomainsuccinctlabs/sp1:mainfrom john/sp1succinctlabs/sp1:john/sp1Copy head branch name to clipboardFeb 14, 2024

+5,134-1,448

Commits

Commits on Feb 13, 2024

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  aa26894

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  3c700c9

• sp1 renaming

  

  John Guibas

  authored and

  John Guibas

  committed
  6f430bf

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  171f970

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  7fbef8d

• changes

  

  John Guibas

  authored and

  John Guibas

  committed
  36ad759

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  712d7f2

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  a8a4097

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  21169d0

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  b47253e

Commits on Feb 14, 2024

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  1fa1be4

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  f1203f5

• changes

  ctian1

  committed
  3d1d7aa

• hm

  ctian1

  committed
  df403b1

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  f38476e

• small fixes

  

  John Guibas

  authored and

  John Guibas

  committed
  41e73a2

• fix merge conflicts

  

  John Guibas

  authored and

  John Guibas

  committed
  b0336e8

• fix ci

  

  John Guibas

  authored and

  John Guibas

  committed
  a018aee

• hm

  

  John Guibas

  authored and

  John Guibas

  committed
  3737651