Code

pilopt: optimize until fixpoint#2223

Code

Closed

gzanitti wants to merge 5 commits intopowdr-labs:mainpowdr-labs/powdr:mainfrom gzanitti:pil-fixpoint-optgzanitti/powdr:pil-fixpoint-optCopy head branch name to clipboard

+79-48

Commits

Commits on Dec 9, 2024

• fixpoint opt, but some tests need to be reviewed

  gzanitti

  committed
  a286c36

  Copy full SHA for a286c36

Commits on Dec 10, 2024

• test

  gzanitti

  committed
  d28bc2a

  Copy full SHA for d28bc2a

• ordered iterations

  gzanitti

  committed
  1bdd2fc

  Copy full SHA for 1bdd2fc

Commits on Dec 11, 2024

• iter keys

  gzanitti

  committed
  4c030b6

  Copy full SHA for 4c030b6

• Merge remote-tracking branch 'upstream/main' into pil-fixpoint-opt

  gzanitti

  committed
  fbfcbfc

  Copy full SHA for fbfcbfc