Code

make Op Stack Table variable length#234

Code

Merged

jan-ferdinand merged 27 commits intomasterTritonVM/triton-vm:masterfrom new_op_stackTritonVM/triton-vm:new_op_stackCopy head branch name to clipboardOct 30, 2023

+1,535-822

Commits

Commits on Oct 18, 2023

• refactor: handle multiple co-processor calls more easily

  jan-ferdinand

  committed
  f295acb

  Copy full SHA for f295acb

• refactor: delegate instruction lookup recording to AET

  jan-ferdinand

  committed
  c8eaf8c

  Copy full SHA for c8eaf8c

• doc: remove redundant comments and doc-comments

  jan-ferdinand

  committed
  546167e

  Copy full SHA for 546167e

• refactor(vm): rename ramp to ram_pointer

  jan-ferdinand

  committed
  612714d

  Copy full SHA for 612714d

Commits on Oct 19, 2023

• refactor(opstack): simpler type conversion from OpStackElement

  jan-ferdinand

  committed
  744086f

  Copy full SHA for 744086f

• feat: add enum to record changes to op stack underflow

  jan-ferdinand

  committed
  c6e54d4

  Copy full SHA for c6e54d4

• chore(test): remove unnecessary paths

  jan-ferdinand

  committed
  4323b20

  Copy full SHA for 4323b20

• feat: propagate opstack underflow read/write to VM

  jan-ferdinand

  committed
  49424a6

  Copy full SHA for 49424a6

• fix: overflowing subtractions when accessing op stack underflow

  jan-ferdinand

  committed
  2aa72e7

  Copy full SHA for 2aa72e7

Commits on Oct 20, 2023

• feat: propagate opstack underflow read/write to AET

  jan-ferdinand

  committed
  3ee0a01

  Copy full SHA for 3ee0a01

• feat: record opstack underflow read/write in AET

  jan-ferdinand

  committed
  a57ef7c

  Copy full SHA for a57ef7c

Commits on Oct 23, 2023

• feat: make op stack table variable length

  jan-ferdinand

  committed
  a8e6966

  Copy full SHA for a8e6966

• fix: processor's running product with op stack

  Show description for 2c2ade0
  jan-ferdinand

  committed
  2c2ade0

  Copy full SHA for 2c2ade0

• test: op stack table row sorting

  jan-ferdinand

  committed
  7418502

  Copy full SHA for 7418502

• fix: processor's lookup multiplicity of clock jump difference “1”

  Show description for e84d6a0
  jan-ferdinand

  committed
  e84d6a0

  Copy full SHA for e84d6a0

• fix: record correct op stack pointers in co-processor call sequence

  jan-ferdinand

  committed
  49fb63a

  Copy full SHA for 49fb63a

• fix: delete spurious stack underflow write from divine_sibling

  jan-ferdinand

  committed
  eea37ca

  Copy full SHA for eea37ca

• test: stack underflow i/o sequence properties

  jan-ferdinand

  committed
  4efffde

  Copy full SHA for 4efffde

• test: factor for running product with Op Stack Table never panics

  jan-ferdinand

  committed
  224e792

  Copy full SHA for 224e792

Commits on Oct 24, 2023

• doc: consistently use a space in “op stack” and “jump stack”

  jan-ferdinand

  committed
  eb8dc84

  Copy full SHA for eb8dc84

• doc: prose and example for Op Stack Table behavior

  jan-ferdinand

  committed
  db01232

  Copy full SHA for db01232

• doc: update AET relations diagram

  jan-ferdinand

  committed
  f177d65

  Copy full SHA for f177d65

• doc: Op Stack Table padding

  jan-ferdinand

  committed
  ad09b8d

  Copy full SHA for ad09b8d

Commits on Oct 25, 2023

• doc: update Op Stack Table's AIR

  jan-ferdinand

  committed
  3fb003b

  Copy full SHA for 3fb003b

• fix: add missing transition constraint for instruction swap

  jan-ferdinand

  committed
  308d67f

  Copy full SHA for 308d67f

• fix(doc): correct explanations for previous designs

  jan-ferdinand

  committed
  4bbc2d2

  Copy full SHA for 4bbc2d2

• doc: update Processor Table's AET and AIR

  jan-ferdinand

  committed
  e59eede

  Copy full SHA for e59eede