Code

feat/#132 divu opcode#266

Code

Merged

KimiWu123 merged 14 commits intomasterscroll-tech/ceno:masterfrom feat/#132-opcode-DIVUscroll-tech/ceno:feat/#132-opcode-DIVUCopy head branch name to clipboardSep 25, 2024

+436-93

Commits

Commits on Sep 24, 2024

• add divu opcode

  KimiWu123

  committed
  252206b

  Copy full SHA for 252206b

• fix is_zero witness

  KimiWu123

  committed
  b2c1398

  Copy full SHA for b2c1398

• refactor testing

  KimiWu123

  committed
  9405318

  Copy full SHA for 9405318

• fixing lint

  KimiWu123

  committed
  c480203

  Copy full SHA for c480203

• fix: when carry in mul is larger than 1

  KimiWu123

  committed
  dd6c8ec

  Copy full SHA for dd6c8ec

• replace an argument in internal_add with self

  KimiWu123

  committed
  ec87421

  Copy full SHA for ec87421

• addressed feeback from review

  KimiWu123

  committed
  05f07da

  Copy full SHA for 05f07da

• add condition_require_equal

  KimiWu123

  committed
  1b149c9

  Copy full SHA for 1b149c9

• fix: r generated by UInt::new

  KimiWu123

  committed
  a5128ec

  Copy full SHA for a5128ec

Commits on Sep 25, 2024

• refine condition_require

  KimiWu123

  committed
  599f90d

  Copy full SHA for 599f90d

• Merge remote-tracking branch 'upstream/master' into feat/#132-opcode-DIVU

  KimiWu123

  committed
  713b2f7

  Copy full SHA for 713b2f7

• fix merge error

  KimiWu123

  committed
  201c33e

  Copy full SHA for 201c33e

• simplify is_zero of unit

  hero78119

  committed
  b0705f8

  Copy full SHA for b0705f8

• Merge branch 'master' into feat/#132-opcode-DIVU

  hero78119

  authored
  c34c1b6

  Copy full SHA for c34c1b6