Code

branch less than unsigned#2860

Code

Merged

svv232 merged 10 commits intomastero1-labs/proof-systems:masterfrom sai/branch-ltuo1-labs/proof-systems:sai/branch-ltuCopy head branch name to clipboardDec 24, 2024

+24-1

Commits

Commits on Dec 1, 2024

• adding instruction for branch lt

  svv232

  committed
  4ff26e3

  Copy full SHA for 4ff26e3

• lint and format

  svv232

  committed
  7d07938

  Copy full SHA for 7d07938

• implementation for branch greater than or equal

  svv232

  committed
  16f66ac

  Copy full SHA for 16f66ac

• branch less than unsigned

  svv232

  committed
  2c71aa2

  Copy full SHA for 2c71aa2

Commits on Dec 23, 2024

• moving scratch into less-than-variable scope

  svv232

  committed
  badda6b

  Copy full SHA for badda6b

• Merge branch 'sai/branch-lt' into sai/branch-gte

  svv232

  committed
  0b721aa

  Copy full SHA for 0b721aa

• move position of less than variable into local scope

  svv232

  committed
  76ba34a

  Copy full SHA for 76ba34a

• Merge branch 'sai/branch-gte' into sai/branch-ltu

  svv232

  committed
  bfe81c2

  Copy full SHA for bfe81c2

• remove comment and modifying scope of pos

  svv232

  committed
  fe0276f

  Copy full SHA for fe0276f

Commits on Dec 24, 2024

• Merge branch 'sai/branch-gte' into sai/branch-ltu

  svv232

  committed
  f947528

  Copy full SHA for f947528