Code

feat: bb logup permutations#32

Code

Merged

jeanmon merged 10 commits intoavmAztecProtocol/powdr:avmfrom md/integrate-logupAztecProtocol/powdr:md/integrate-logupCopy head branch name to clipboardDec 14, 2023

+816-160

Commits

Commits on Dec 7, 2023

• temp

  Maddiaa0

  committed
  dbf2d4c

  Copy full SHA for dbf2d4c

• feat: include attribute in permutation identities

  Maddiaa0

  committed
  a7ec94c

  Copy full SHA for a7ec94c

• temp: perms

  Maddiaa0

  committed
  6b5e4d9

  Copy full SHA for 6b5e4d9

Commits on Dec 8, 2023

• working

  Maddiaa0

  committed
  9756ad4

  Copy full SHA for 9756ad4

Commits on Dec 11, 2023

• chore: permutation builder refactor

  Maddiaa0

  committed
  543404a

  Copy full SHA for 543404a

• fix: account for instances with no permutations

  Maddiaa0

  committed
  c0bbea7

  Copy full SHA for c0bbea7

• fix: differentiate between perm and perm relation

  Maddiaa0

  committed
  92f59f2

  Copy full SHA for 92f59f2

Commits on Dec 12, 2023

• fix: move relation builder

  Maddiaa0

  committed
  9ea2a1c

  Copy full SHA for 9ea2a1c

• chore: clippy / fmt

  Maddiaa0

  committed
  5e3bffa

  Copy full SHA for 5e3bffa

Commits on Dec 13, 2023

• feat(debug): tag relations with debug information (#33)

  Show description for e3e8dfd
  Maddiaa0

  authored
  e3e8dfd

  Copy full SHA for e3e8dfd