Code

feat: Add assert_eq keyword#2137

Code

Merged

kevaundray merged 59 commits intomasternoir-lang/noir:masterfrom assert-eq-builtinnoir-lang/noir:assert-eq-builtinCopy head branch name to clipboardAug 28, 2023

+297-132

Commits

Commits on Aug 21, 2023

• feat: add assert_eq builtin function

  TomAFrench

  committed
  1520b6b

  Copy full SHA for 1520b6b

• chore: add integration test for array equality

  TomAFrench

  committed
  504c997

  Copy full SHA for 504c997

• chore: update test cases to use assert_eq

  TomAFrench

  committed
  870f5e0

  Copy full SHA for 870f5e0

• chore: run rebuild.sh script

  TomAFrench

  committed
  f4f088f

  Copy full SHA for f4f088f

• chore: move test cases to compile_success_empty

  TomAFrench

  committed
  511f0dd

  Copy full SHA for 511f0dd

• feat: support calls to std::assert_eq from brillig

  TomAFrench

  committed
  2e7ffff

  Copy full SHA for 2e7ffff

• chore: revert changes to array_dynamic test

  TomAFrench

  committed
  b00058e

  Copy full SHA for b00058e

• chore: remove usage of expect in assert_eq

  TomAFrench

  committed
  c18e6c1

  Copy full SHA for c18e6c1

• chore: make Instruction::Constrain take two values

  TomAFrench

  committed
  bd553fe

  Copy full SHA for bd553fe

• chore: make assert_eq a keyword

  TomAFrench

  committed
  a80ad92

  Copy full SHA for a80ad92

• chore: update integration tests to use new keyword

  TomAFrench

  committed
  d2f6143

  Copy full SHA for d2f6143

• chore: run rebuild.sh script

  TomAFrench

  committed
  3330067

  Copy full SHA for 3330067

• chore: remove Intrinsic::AssertEq

  TomAFrench

  committed
  87b008e

  Copy full SHA for 87b008e

• chore: merge spans in constrain statements

  TomAFrench

  committed
  fdd0af6

  Copy full SHA for fdd0af6

• chore: update tests for binary Constrain

  TomAFrench

  committed
  39eb976

  Copy full SHA for 39eb976

• Merge branch 'master' into assert-eq-builtin

  Show description for d80cba1
  TomAFrench

  committed
  d80cba1

  Copy full SHA for d80cba1

Commits on Aug 22, 2023

• Merge branch 'master' into assert-eq-builtin

  Show description for 7668ff5
  TomAFrench

  committed
  7668ff5

  Copy full SHA for 7668ff5

• chore: remove unwanted changes to integration tests

  TomAFrench

  committed
  6d6b3ef

  Copy full SHA for 6d6b3ef

• chore: remove unnecessary equality in brillig gen

  TomAFrench

  committed
  997efbe

  Copy full SHA for 997efbe

• chore: run rebuild.sh script

  TomAFrench

  committed
  2518acc

  Copy full SHA for 2518acc

• chore: fix spans for assert() and constrain

  TomAFrench

  committed
  39792ba

  Copy full SHA for 39792ba

• chore: add tests for assert_eq parsing

  TomAFrench

  committed
  4760d81

  Copy full SHA for 4760d81

• chore: remove unwanted comment from test cases

  TomAFrench

  committed
  612ff28

  Copy full SHA for 612ff28

• chore: remove testcase from statement_recovery

  TomAFrench

  committed
  7b3ba28

  Copy full SHA for 7b3ba28

Commits on Aug 23, 2023

• chore: replace more instances of assert with assert_eq

  TomAFrench

  committed
  7c76abb

  Copy full SHA for 7c76abb

• chore: run rebuild.sh script

  TomAFrench

  committed
  bbaee63

  Copy full SHA for bbaee63

• Merge branch 'master' into assert-eq-builtin

  Show description for a74800e
  TomAFrench

  committed
  a74800e

  Copy full SHA for a74800e

• chore: run rebuild.sh script

  TomAFrench

  committed
  a118647

  Copy full SHA for a118647

Commits on Aug 24, 2023

• Merge branch 'master' into assert-eq-builtin

  Show description for f373495
  TomAFrench

  committed
  f373495

  Copy full SHA for f373495

Commits on Aug 25, 2023

• Merge branch 'master' into assert-eq-builtin

  Show description for 6a5a3d3
  TomAFrench

  committed
  6a5a3d3

  Copy full SHA for 6a5a3d3

• chore: display error instead of panicking on parser error

  TomAFrench

  committed
  2ef6d71

  Copy full SHA for 2ef6d71

• chore: add test cases to statement_recovery

  TomAFrench

  committed
  a6613e1

  Copy full SHA for a6613e1

• chore: more granular errors

  TomAFrench

  committed
  368e34f

  Copy full SHA for 368e34f

• chore: update stale comment

  TomAFrench

  committed
  aa94eaf

  Copy full SHA for aa94eaf

• chore: automatically remove predicate during codegen

  TomAFrench

  committed
  39bc0e0

  Copy full SHA for 39bc0e0

• chore: revert changes to integration tests

  TomAFrench

  committed
  38519fb

  Copy full SHA for 38519fb

• chore: cleanup references to assert_eq

  TomAFrench

  committed
  430eb8d

  Copy full SHA for 430eb8d

• chore: formatting change

  TomAFrench

  committed
  ab24d3a

  Copy full SHA for ab24d3a

• chore: formatting fix

  TomAFrench

  committed
  5c819c3

  Copy full SHA for 5c819c3

• chore: fixup creation of boolean constants

  TomAFrench

  committed
  b19a4e6

  Copy full SHA for b19a4e6

• chore: remove some overeager find-and-replace

  TomAFrench

  committed
  7f42c35

  Copy full SHA for 7f42c35

• chore: ditto

  TomAFrench

  committed
  dc2d42f

  Copy full SHA for dc2d42f

• chore: fix comment

  TomAFrench

  committed
  0bc2b60

  Copy full SHA for 0bc2b60

• chore: one more

  TomAFrench

  committed
  e8fe92a

  Copy full SHA for e8fe92a

• Update crates/noirc_evaluator/src/ssa/acir_gen/mod.rs

  Show description for e079b00
  

  TomAFrench

  and

  jfecher

  authored
  e079b00

  Copy full SHA for e079b00

• chore: break up assertion_eq into two

  TomAFrench

  committed
  4021fa9

  Copy full SHA for 4021fa9

• chore: fix try_vecmap

  TomAFrench

  committed
  6505302

  Copy full SHA for 6505302

• Merge branch 'master' into assert-eq-builtin

  Show description for c58eedd
  TomAFrench

  committed
  c58eedd

  Copy full SHA for c58eedd

• chore: revert brillig optimization

  TomAFrench

  committed
  8e08755

  Copy full SHA for 8e08755

Commits on Aug 26, 2023

• chore: run rebuild.sh script

  TomAFrench

  committed
  b7aba4d

  Copy full SHA for b7aba4d

• Merge branch 'master' into assert-eq-builtin

  Show description for 1434982
  TomAFrench

  committed
  1434982

  Copy full SHA for 1434982

• chore: add integration test for using assert_eq on structs

  TomAFrench

  committed
  955d513

  Copy full SHA for 955d513

• chore: small changes

  TomAFrench

  committed
  b89897c

  Copy full SHA for b89897c

Commits on Aug 27, 2023

• chore: break up creation of statement in assertion_eq

  TomAFrench

  committed
  b2b9124

  Copy full SHA for b2b9124

• chore: remove unnecessary equality in create_apply_function

  TomAFrench

  committed
  148efa8

  Copy full SHA for 148efa8

Commits on Aug 28, 2023

• chore: remove redundant check in Constrain simplification

  TomAFrench

  committed
  1978036

  Copy full SHA for 1978036

• Merge branch 'master' into assert-eq-builtin

  Show description for 4dfff98
  TomAFrench

  committed
  4dfff98

  Copy full SHA for 4dfff98

• Merge branch 'master' into assert-eq-builtin

  Show description for 78a57fc
  TomAFrench

  committed
  78a57fc

  Copy full SHA for 78a57fc

• Merge branch 'master' into assert-eq-builtin

  Show description for 1c7883d
  TomAFrench

  committed
  1c7883d

  Copy full SHA for 1c7883d