Code

no-op MIPS#2910

Code

Open

dannywillems wants to merge 10 commits intomastero1-labs/proof-systems:masterfrom dw/no-opo1-labs/proof-systems:dw/no-opCopy head branch name to clipboard

+46-5

Commits

Commits on Jan 9, 2025

• WIP: no-op MIPS

  

  dannywillems

  authored and

  martyall

  committed
  1a8390a

  Copy full SHA for 1a8390a

Commits on Jan 16, 2025

• Merge branch 'master' into dw/no-op

  martyall

  committed
  3320047

  Copy full SHA for 3320047

• need to +1 for the new no-op instruction

  martyall

  committed
  cc4a983

  Copy full SHA for cc4a983

• Add pad function. Factor out prove/verify from loop.

  martyall

  committed
  535c485

  Copy full SHA for 535c485

• add test mips script

  martyall

  committed
  b56c160

  Copy full SHA for b56c160

• adjust regression test

  martyall

  committed
  749396b

  Copy full SHA for 749396b

• run o1vm ci with log-level debug

  martyall

  committed
  ef51848

  Copy full SHA for ef51848

Commits on Jan 17, 2025

• all halting conditions checked after each instruction execution

  martyall

  committed
  a34723f

  Copy full SHA for a34723f

• handle instruction pointer correctly for noop

  martyall

  committed
  3cbaf3c

  Copy full SHA for 3cbaf3c

• revert changes for padding, will follow up in separate work

  martyall

  committed
  54a9e0c

  Copy full SHA for 54a9e0c