Code

Adding random values to IR#134

Code

Merged

tohrnii merged 5 commits intonext0xPolygonMiden/air-script:nextfrom andrew-ir-random-values0xPolygonMiden/air-script:andrew-ir-random-valuesCopy head branch name to clipboardFeb 7, 2023

+438-18

Commits

Commits on Feb 2, 2023

• feat: add random values to the IR

  Fumuran

  committed
  1c8675b

  Copy full SHA for 1c8675b

• feat: add intergation test

  Fumuran

  committed
  5cb4acc

  Copy full SHA for 5cb4acc

Commits on Feb 3, 2023

• feat: refactoring

  Fumuran

  committed
  8e31a6b

  Copy full SHA for 8e31a6b

Commits on Feb 6, 2023

• feat: add indexed access to random values by custom name

  Fumuran

  committed
  a7eb8a3

  Copy full SHA for a7eb8a3

• feat: naming improvements

  Fumuran

  committed
  dcaf137

  Copy full SHA for dcaf137