Code

Implement u32assert_lt instruction#1157

Code

Closed

Fumuran wants to merge 3 commits intonext0xPolygonMiden/miden-vm:nextfrom andrew-create-assert-lt0xPolygonMiden/miden-vm:andrew-create-assert-ltCopy head branch name to clipboard

+313-192

Commits

Commits on Dec 14, 2023

• feat: implement u32assert_lt instruction

  Fumuran

  committed
  590fadd

  Copy full SHA for 590fadd

• feat: allow usage of constants in u32assert_lt

  Fumuran

  committed
  ed95555

  Copy full SHA for ed95555

Commits on Dec 15, 2023

• refactor: optimize lt, update docs

  Fumuran

  committed
  562d7d5

  Copy full SHA for 562d7d5