Code

feat: add iterator-based for loops#1176

Code

Open

yi-sun wants to merge 38 commits intonative-cleanupopenvm-org/openvm:native-cleanupfrom feat/optimize-for-loopopenvm-org/openvm:feat/optimize-for-loopCopy head branch name to clipboard

+809-304

Commits

Commits on Jan 10, 2025

• chore: clean up comments in native compiler

  yi-sun

  committed
  d967ac7

• feat: add iterator for loop

  yi-sun

  committed
  2c53f1a

• feat: convert more for loops

  yi-sun

  committed
  b07c4ea

• fix: lint

  yi-sun

  committed
  674f894

• wip: zipped iterator

  yi-sun

  committed
  df77c86

• fix: lint

  yi-sun

  committed
  1190233

• feat: iterator for loop in poseidon

  yi-sun

  committed
  43e7a86

• feat: optimize store

  yi-sun

  committed
  2b84329

• fix: keep loop variable

  yi-sun

  committed
  9f6a3e6

• fix: store

  yi-sun

  committed
  cd7fcbf

• opt: try removing get_ref

  yi-sun

  committed
  3378cc2

• opt: remove duplicate get

  yi-sun

  committed
  2ac690c

• opt: remove idx

  yi-sun

  committed
  a64cb2b

• chore: remove unused code

  yi-sun

  committed
  56bff31

• fix: lint

  yi-sun

  committed
  6533f8d

• feat: add ZipFor and zipped_iter

  yi-sun

  committed
  053a4ee

• fix: lint

  yi-sun

  committed
  5d72e21

• feat: implement zipped_iter

  yi-sun

  committed
  7dc4557

• fix: faulty assert

  yi-sun

  committed
  8c27cdf

• fix: read

  yi-sun

  committed
  f71efd7

• fix: lint

  yi-sun

  committed
  9266fba

• fix: lint

  yi-sun

  committed
  6851b5a

• fix: vec

  yi-sun

  committed
  9d9c5c4

• feat: add more zipped_iter

  yi-sun

  committed
  9b4cc0e

• feat: optimize verify_batch

  yi-sun

  committed
  f85ae11

• fix: use first array for zipped_iter

  yi-sun

  committed
  c9aa05e

• feat: add zipped_iter to hint

  yi-sun

  committed
  45134ad

• chore: remove print

  yi-sun

  committed
  84c9d75

• feat: optimize hint_words

  yi-sun

  committed
  8e8b062

• fix: lifetime issues

  yi-sun

  committed
  2e68d6e

• chore: add comment with example

  yi-sun

  committed
  f5cc632

• feat: use square-and-multiply for exp_reverse_bits_len

  yi-sun

  committed
  0aff4b0

• fix: input size for exp_reverse_bits_len

  yi-sun

  committed
  46ddb6b

• fix: slice and shift for V::size_of() greater than 1, optimization

  yi-sun

  committed
  392355b

• fix: replace incorrectly removed side effect

  yi-sun

  committed
  beae4ce

• feat: optimize adds

  yi-sun

  committed
  2d5a26e

• feat: optimize for loops in duplex challenger

  yi-sun

  committed
  7d8670b

• chore: use larger runner for build workflow

  yi-sun

  committed
  8fc92db