Code

fix: regression end to end test#1965

Code

Merged

guipublic merged 21 commits intomasternoir-lang/noir:masterfrom kw/fix-regressionnoir-lang/noir:kw/fix-regressionCopy head branch name to clipboardJul 21, 2023

+107-3

Commits

Commits on Jul 17, 2023

• update to acvm 0.19.1

  kevaundray

  committed
  26fee5b

• add 9_conditional

  kevaundray

  committed
  9e1f3b3

• use a smaller circuit

  kevaundray

  committed
  50cddc8

Commits on Jul 18, 2023

• add predicate for division

  kevaundray

  committed
  74393b2

• reduce lhs and rhs constraints

  kevaundray

  committed
  4d82ddd

• pass predicate to inv_var

  kevaundray

  committed
  56ab279

• [DO NOT MERGE] Test removing unconditional assert

  kevaundray

  committed
  fa5f94f

• fix clippy

  kevaundray

  committed
  30437f4

• remove Option<Expression>

  kevaundray

  committed
  c3b6146

• add assert_eq and maybe_eq_predicate

  kevaundray

  committed
  d1fc87d

• sort now takes a predicate

  kevaundray

  committed
  7d455d6

• add back full 9_conditional

  kevaundray

  committed
  110b8c3

• add regression example

  kevaundray

  committed
  71e88b5

• [DO NOT MERGE] make predicate None

  kevaundray

  committed
  042c503

• predicate the final equation instead of relying on predicate = None

  kevaundray

  committed
  473db0d

Commits on Jul 19, 2023

• Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs

  Show description for 28786e9
  

  kevaundray

  and

  TomAFrench

  authored
  28786e9

• change unwrap to expect

  kevaundray

  committed
  b6a0bc0

• make mul_with_witness crate visible

  Show description for 5a8fe0f
  kevaundray

  committed
  5a8fe0f

Commits on Jul 20, 2023

• Merge branch 'master' into kw/fix-regression

  TomAFrench

  committed
  ef434a6

• move test into main

  kevaundray

  committed
  3787ee8

• Merge branch 'kw/fix-regression' of github.com:noir-lang/noir into kw/fix-regression

  kevaundray

  committed
  031db72