Code

Support generic assert_eq#2

Code

Draft

bufferhe4d wants to merge 56 commits intolog-type-skip-228bufferhe4d/noname:log-type-skip-228from generic-asserteqbufferhe4d/noname:generic-asserteqCopy head branch name to clipboard

+2,955-193

Commits

Commits on Nov 4, 2024

• add IR translator

  katat

  committed
  af422ea

  Copy full SHA for af422ea

• add Value::HintIR for hint calculations

  katat

  committed
  7636d1a

  Copy full SHA for 7636d1a

• enable parsing hint function body

  katat

  committed
  34af420

  Copy full SHA for 34af420

• add cargo deps

  katat

  committed
  f004a33

  Copy full SHA for f004a33

• circ require nightly rust toolchain

  katat

  committed
  d64281d

  Copy full SHA for d64281d

• add hint test

  katat

  committed
  a38bba6

  Copy full SHA for a38bba6

• fmt

  katat

  committed
  e30e563

  Copy full SHA for e30e563

Commits on Nov 5, 2024

• support complex inputs and outputs

  katat

  committed
  34162a7

  Copy full SHA for 34162a7

• Merge remote-tracking branch 'origin/main' into feat/ir2

  katat

  committed
  a11e5c2

  Copy full SHA for a11e5c2

• update asm

  katat

  committed
  5d05284

  Copy full SHA for 5d05284

Commits on Nov 9, 2024

• Add += functionality

  bufferhe4d

  committed
  1bfb7ad

  Copy full SHA for 1bfb7ad

Commits on Nov 10, 2024

• Revert "Add += functionality"

  Show description for af6e2a1
  bufferhe4d

  committed
  af6e2a1

  Copy full SHA for af6e2a1

Commits on Nov 11, 2024

• Add (+=, -=, *=)

  bufferhe4d

  committed
  df2247f

  Copy full SHA for df2247f

• Add tests for augmented assignments

  Show description for fc9041d
  bufferhe4d

  committed
  fc9041d

  Copy full SHA for fc9041d

Commits on Nov 12, 2024

• map backend fields to circ fields

  katat

  committed
  427475b

  Copy full SHA for 427475b

• better error for calling builtins in hint function

  katat

  committed
  5b91bd1

  Copy full SHA for 5b91bd1

• formatting

  bufferhe4d

  committed
  7b21812

  Copy full SHA for 7b21812

• refine error

  katat

  committed
  190df51

  Copy full SHA for 190df51

• more arithmetic operations

  katat

  committed
  ed9dd4d

  Copy full SHA for ed9dd4d

• support boolean operations

  katat

  committed
  99498fa

  Copy full SHA for 99498fa

• update tests

  katat

  committed
  3dc4c71

  Copy full SHA for 3dc4c71

• update test

  katat

  committed
  2cbc07e

  Copy full SHA for 2cbc07e

• only allow calling hint functions in a hint function

  katat

  committed
  881ff1d

  Copy full SHA for 881ff1d

• format

  katat

  committed
  255b1e3

  Copy full SHA for 255b1e3

• comment

  katat

  committed
  f2c0e3a

  Copy full SHA for f2c0e3a

• Merge remote-tracking branch 'origin/main' into feat/ir2

  katat

  committed
  3ab7525

  Copy full SHA for 3ab7525

Commits on Nov 13, 2024

• Merge pull request zksecurity#220 from zksecurity/feat/ir2

  Show description for 8c0ca9d
  mimoo

  authored
  8c0ca9d

  Copy full SHA for 8c0ca9d

• Merge pull request zksecurity#225 from bufferhe4d/plusequal

  Show description for b17ea20
  katat

  authored
  b17ea20

  Copy full SHA for b17ea20

Commits on Nov 14, 2024

• Add --disable-safety-check option

  Show description for b9fe3c6
  StefanosChaliasos

  committed
  b9fe3c6

  Copy full SHA for b9fe3c6

• Fix failing tests

  StefanosChaliasos

  committed
  e142f8d

  Copy full SHA for e142f8d

• cargo fmt

  StefanosChaliasos

  committed
  93bbfd6

  Copy full SHA for 93bbfd6

Commits on Nov 20, 2024

• better contributing

  mimoo

  committed
  f1492fd

  Copy full SHA for f1492fd

Commits on Nov 24, 2024

• generic assert_eq

  bufferhe4d

  committed
  c69a70d

  Copy full SHA for c69a70d

• generic_assert_eq test

  bufferhe4d

  committed
  66bd1a6

  Copy full SHA for 66bd1a6

Commits on Nov 25, 2024

• print generic log info

  varunthakore

  committed
  633b087

  Copy full SHA for 633b087

• cargo fmt

  varunthakore

  committed
  c6f240a

  Copy full SHA for c6f240a

• Merge pull request zksecurity#237 from zksecurity/mimoo/cont

  Show description for 6a859b2
  katat

  authored
  6a859b2

  Copy full SHA for 6a859b2

Commits on Dec 3, 2024

• Improve error when a keyword is used as identifier

  

  Robert Zakrzewski

  committed
  57c9e17

  Copy full SHA for 57c9e17

Commits on Dec 4, 2024

• Simplify check and add warning message

  StefanosChaliasos

  committed
  9a0c496

  Copy full SHA for 9a0c496

• Merge pull request zksecurity#235 from zksecurity/feat/disable-safety-check-option

  Show description for 5c048f4
  katat

  authored
  5c048f4

  Copy full SHA for 5c048f4

Commits on Dec 10, 2024

• Merge pull request zksecurity#239 from zedar/fix/better_error_when_keyword_as_identifier

  Show description for 321b047
  mimoo

  authored
  321b047

  Copy full SHA for 321b047

• Merge pull request zksecurity#231 from bufferhe4d/log-type-skip-228

  Show description for c21739d
  katat

  authored
  c21739d

  Copy full SHA for c21739d

Commits on Dec 11, 2024

• fix potential uint overflow

  katat

  committed
  eb046e6

  Copy full SHA for eb046e6

• typos cellvar.md

  Dimitrolito

  authored
  5a2b6c1

  Copy full SHA for 5a2b6c1

• typos expressions.md

  Dimitrolito

  authored
  b0e34a7

  Copy full SHA for b0e34a7

• typos expressions.md

  Dimitrolito

  authored
  4a1b3bf

  Copy full SHA for 4a1b3bf

• typos methods.md

  Dimitrolito

  authored
  7471d9d

  Copy full SHA for 7471d9d

• typos paths.md

  Dimitrolito

  authored
  069d4de

  Copy full SHA for 069d4de

Commits on Dec 12, 2024

• Merge pull request zksecurity#245 from Dimitrolito/fix/typos

  Show description for e0e9e55
  mimoo

  authored
  e0e9e55

  Copy full SHA for e0e9e55

• Implement recursive logging of Array and Custom types

  varunthakore

  committed
  6e40880

  Copy full SHA for 6e40880

Commits on Dec 14, 2024

• Update recursive log with slicing

  varunthakore

  committed
  616070a

  Copy full SHA for 616070a

• Merge branch 'main' into generic-log

  varunthakore

  committed
  429888b

  Copy full SHA for 429888b

Commits on Dec 15, 2024

• Merge pull request zksecurity#243 from zksecurity/fix/check-prime-bit

  Show description for 1b515e8
  mimoo

  authored
  1b515e8

  Copy full SHA for 1b515e8

Commits on Dec 16, 2024

• Merge pull request zksecurity#238 from varunthakore/generic-log

  Show description for 8188bf6
  katat

  authored
  8188bf6

  Copy full SHA for 8188bf6

• Merge branch 'main' into generic-asserteq

  bufferhe4d

  committed
  2cc2d28

  Copy full SHA for 2cc2d28

Commits on Dec 18, 2024

• Fix error in tests

  bufferhe4d

  committed
  151ae9e

  Copy full SHA for 151ae9e