Code

feat: Merge SMT Terms in one class#5254

Code

Merged

Sarkoxed merged 26 commits intomasterAztecProtocol/aztec-packages:masterfrom as/smt-merge-terms-2AztecProtocol/aztec-packages:as/smt-merge-terms-2Copy head branch name to clipboardMar 20, 2024

+1,829-1,807

Commits

Commits on Mar 15, 2024

• New merged class.

  Sarkoxed

  committed
  fa0b44c

  Copy full SHA for fa0b44c

• BitVector sort

  Sarkoxed

  committed
  a8b3483

  Copy full SHA for a8b3483

Commits on Mar 18, 2024

• Major changes in Symbolic Terms usage

  Show description for d3694f7
  Sarkoxed

  committed
  d3694f7

  Copy full SHA for d3694f7

• Tests for BitVectors and fix in STerm

  Sarkoxed

  committed
  4ca7e58

  Copy full SHA for 4ca7e58

Commits on Mar 19, 2024

• Merge branch 'master' into as/smt-merge-terms-2

  Sarkoxed

  committed
  e0e44f7

  Copy full SHA for e0e44f7

• Bool Terms update

  Sarkoxed

  committed
  6de3a72

  Copy full SHA for 6de3a72

• Commit to have a more readable diff

  Sarkoxed

  committed
  8d9c579

  Copy full SHA for 8d9c579

• Get rid of templates

  Sarkoxed

  committed
  7bcf447

  Copy full SHA for 7bcf447

• Get rid of templates

  Sarkoxed

  committed
  e1bf853

  Copy full SHA for e1bf853

• Meet BitVector tests

  Sarkoxed

  committed
  3c978de

  Copy full SHA for 3c978de

• Set default type to be FFTerm

  Sarkoxed

  committed
  b9a90ca

  Copy full SHA for b9a90ca

• Update to the new STerm api

  Sarkoxed

  committed
  32d7f98

  Copy full SHA for 32d7f98

• Update polynomials tests

  Show description for af43cc1
  Sarkoxed

  committed
  af43cc1

  Copy full SHA for af43cc1

• See you later

  Sarkoxed

  committed
  6198adf

  Copy full SHA for 6198adf

• Fix circuit internals

  Show description for 8889638
  Sarkoxed

  committed
  8889638

  Copy full SHA for 8889638

• Added empty constructor

  Sarkoxed

  committed
  c648f25

  Copy full SHA for c648f25

• Operation instead of Kind

  Sarkoxed

  committed
  c38790d

  Copy full SHA for c38790d

• Bitvector operations parser

  Sarkoxed

  committed
  74238d2

  Copy full SHA for 74238d2

• I forgot it for some reason

  Sarkoxed

  committed
  924ba0c

  Copy full SHA for 924ba0c

• Minutes/Seconds in timer

  Sarkoxed

  committed
  c6bf293

  Copy full SHA for c6bf293

• Zero initization

  Sarkoxed

  committed
  50bcf8d

  Copy full SHA for 50bcf8d

• Doc strings

  Sarkoxed

  committed
  57a64b1

  Copy full SHA for 57a64b1

• Got rid of ffterm and ffiter

  Sarkoxed

  committed
  ee663ca

  Copy full SHA for ee663ca

• Merge branch 'master' into as/smt-merge-terms-2

  Rumata888

  authored
  1780937

  Copy full SHA for 1780937

• Addressing comments

  Sarkoxed

  committed
  85bbda2

  Copy full SHA for 85bbda2

• Merge branch 'master' into as/smt-merge-terms-2

  Rumata888

  authored
  7e4fde3

  Copy full SHA for 7e4fde3