Code

program-table#210

Code

Merged

kunxian-xia merged 14 commits intomasterscroll-tech/ceno:masterfrom program-tablescroll-tech/ceno:program-tableCopy head branch name to clipboardSep 14, 2024

+339-52

Commits

Commits on Sep 11, 2024

• program-table: initial program table

  

  Aurélien Nicolas

  committed
  7ed82fc

  Copy full SHA for 7ed82fc

• program-table: fetch instruction from ADD circuit

  

  Aurélien Nicolas

  committed
  adcfa59

  Copy full SHA for adcfa59

• program-table: Example passing with PC and opcode

  

  Aurélien Nicolas

  committed
  7e29198

  Copy full SHA for 7e29198

• program-table: Record type

  

  Aurélien Nicolas

  committed
  cab400f

  Copy full SHA for cab400f

• program-table: Support registers and funct

  

  Aurélien Nicolas

  committed
  3eeb0f7

  Copy full SHA for 3eeb0f7

• program-table: put back example parameters

  

  Aurélien Nicolas

  committed
  7e5c718

  Copy full SHA for 7e5c718

• program-table: constants

  

  Aurélien Nicolas

  committed
  b7ec526

  Copy full SHA for b7ec526

Commits on Sep 13, 2024

• Merge branch 'master' into program-table

  

  Aurélien Nicolas

  committed
  4739ec8

  Copy full SHA for 4739ec8

• program-table: move constants

  

  Aurélien Nicolas

  committed
  cffa410

  Copy full SHA for cffa410

• program-table: zip != enumerate

  

  Aurélien Nicolas

  committed
  b70aed7

  Copy full SHA for b70aed7

• program-table: Support for MockProver

  

  Aurélien Nicolas

  committed
  5e99ca4

  Copy full SHA for 5e99ca4

Commits on Sep 14, 2024

• Merge branch 'master' into program-table

  

  Aurélien Nicolas

  committed
  a1f746a

  Copy full SHA for a1f746a

• program-table: fix after merge

  

  Aurélien Nicolas

  committed
  4c19e86

  Copy full SHA for 4c19e86

• program-table: support SUB in MockProver

  

  Aurélien Nicolas

  committed
  a5dde7c

  Copy full SHA for a5dde7c