Code

feat: Option expect method#4219

Code

Merged

vezenovm merged 75 commits intomasternoir-lang/noir:masterfrom mv/option-expectnoir-lang/noir:mv/option-expectCopy head branch name to clipboardFeb 1, 2024

+45-4

Commits

Commits on Jan 17, 2024

• initial updates to make assert_message not a string literal

  vezenovm

  committed
  a523278

  Copy full SHA for a523278

• Merge branch 'master' into mv/assert-msg-fmtstr

  vezenovm

  committed
  31b6e55

  Copy full SHA for 31b6e55

Commits on Jan 19, 2024

• working resolution of assert messages and runtime

  vezenovm

  committed
  84ec1bc

  Copy full SHA for 84ec1bc

• remove old impl

  vezenovm

  committed
  0a084c4

  Copy full SHA for 0a084c4

• revert debugging changes for brillig inputs

  vezenovm

  committed
  c581cee

  Copy full SHA for c581cee

• cargo fmt

  vezenovm

  committed
  73e48fb

  Copy full SHA for 73e48fb

• remove old ocmment

  vezenovm

  committed
  0c46345

  Copy full SHA for 0c46345

• cargo clippy and cleanup

  vezenovm

  committed
  1cf135d

  Copy full SHA for 1cf135d

• cleanup old comments and initial debugging for brillig assert message

  vezenovm

  committed
  3123241

  Copy full SHA for 3123241

• improved usage of From trait for ForeignCallResults

  vezenovm

  committed
  08d8922

  Copy full SHA for 08d8922

• resolve merge conflicts

  vezenovm

  committed
  3284b99

  Copy full SHA for 3284b99

Commits on Jan 22, 2024

• start switching order of evaluation of resolve_assert_message as to not have to change the brillig VM too much

  vezenovm

  committed
  83605d8

  Copy full SHA for 83605d8

• Merge branch 'master' into mv/assert-msg-fmtstr

  vezenovm

  committed
  7fdf5be

  Copy full SHA for 7fdf5be

Commits on Jan 23, 2024

• switch order of execution

  vezenovm

  committed
  f131b96

  Copy full SHA for f131b96

• update parser tests and some cleanup

  vezenovm

  committed
  f253cd2

  Copy full SHA for f253cd2

• cargo clippy

  vezenovm

  committed
  e149ede

  Copy full SHA for e149ede

• add back debug logs lines that were removed

  vezenovm

  committed
  8eb77ad

  Copy full SHA for 8eb77ad

• added compile failure tests

  vezenovm

  committed
  d0234d2

  Copy full SHA for d0234d2

• move transformation of call expression to resolution rather than have it be in the macro

  vezenovm

  committed
  0f0cbe0

  Copy full SHA for 0f0cbe0

• Merge branch 'master' into mv/assert-msg-fmtstr

  vezenovm

  committed
  845e269

  Copy full SHA for 845e269

• handle parser rrs

  vezenovm

  committed
  85a40c4

  Copy full SHA for 85a40c4

• fix create_mock

  vezenovm

  committed
  e42cb9c

  Copy full SHA for e42cb9c

• move to non-optional expr

  vezenovm

  committed
  ec87b69

  Copy full SHA for ec87b69

• clippy

  vezenovm

  committed
  bc317a0

  Copy full SHA for bc317a0

• clear out circuits w/ only brillig

  vezenovm

  committed
  9284490

  Copy full SHA for 9284490

Commits on Jan 24, 2024

• update compile_empty_success test

  vezenovm

  committed
  4333637

  Copy full SHA for 4333637

• fix format

  vezenovm

  committed
  9bc00eb

  Copy full SHA for 9bc00eb

• cleanup resolve assert message

  vezenovm

  committed
  f3083c8

  Copy full SHA for f3083c8

• update debugger handle_foreign_call

  vezenovm

  committed
  185aba1

  Copy full SHA for 185aba1

• cargo fmt

  vezenovm

  committed
  27ea4d9

  Copy full SHA for 27ea4d9

• fix frontend tests, but acvm_js tests still failing

  vezenovm

  committed
  0c7ff78

  Copy full SHA for 0c7ff78

• Update tooling/nargo/src/ops/execute.rs

  Show description for 720e470
  

  vezenovm

  and

  TomAFrench

  authored
  720e470

  Copy full SHA for 720e470

Commits on Jan 30, 2024

• some initial switches to putting resolve_assert_message under a predicate, still have to make call instr atomic w/ SSA

  vezenovm

  committed
  8698083

  Copy full SHA for 8698083

• Merge remote-tracking branch 'origin/mv/assert-msg-fmtstr' into mv/assert-msg-fmtstr

  vezenovm

  committed
  8458f83

  Copy full SHA for 8458f83

• accept changes

  vezenovm

  committed
  1a3ea85

  Copy full SHA for 1a3ea85

• missing merge edit

  vezenovm

  committed
  480297a

  Copy full SHA for 480297a

• remove unused imports

  vezenovm

  committed
  8de9539

  Copy full SHA for 8de9539

• remove old dbg

  vezenovm

  committed
  86cab04

  Copy full SHA for 86cab04

Commits on Jan 31, 2024

• switch assert_message call instruction to be atomic with SSA and add a predicate check

  vezenovm

  committed
  7afc317

  Copy full SHA for 7afc317

• cleanup decompose_constrain

  vezenovm

  committed
  55de71f

  Copy full SHA for 55de71f

• some comment cleanup

  vezenovm

  committed
  3ebc34a

  Copy full SHA for 3ebc34a

• remove old comments

  vezenovm

  committed
  c0d3403

  Copy full SHA for c0d3403

• resolve merge conflicts

  vezenovm

  committed
  49e7118

  Copy full SHA for 49e7118

• cargo fmt

  vezenovm

  committed
  9944a83

  Copy full SHA for 9944a83

• reorganize codegen of constrain error

  vezenovm

  committed
  282a7d7

  Copy full SHA for 282a7d7

• defunc cleanup

  vezenovm

  committed
  4cd9255

  Copy full SHA for 4cd9255

• cleanup

  vezenovm

  committed
  9796a1b

  Copy full SHA for 9796a1b

• cleanup brillig assert message gen:

  vezenovm

  committed
  8579816

  Copy full SHA for 8579816

• Merge branch 'master' into mv/assert-msg-fmtstr

  vezenovm

  committed
  5170bc1

  Copy full SHA for 5170bc1

• macro errs update

  vezenovm

  committed
  ae06f9e

  Copy full SHA for ae06f9e

• add an expect func to option

  vezenovm

  committed
  4e4d273

  Copy full SHA for 4e4d273

• add option expect method

  vezenovm

  committed
  4fdf3a9

  Copy full SHA for 4fdf3a9

• add comment to expect

  vezenovm

  committed
  89929ff

  Copy full SHA for 89929ff

• leave option expect for separate branch

  vezenovm

  committed
  e516c27

  Copy full SHA for e516c27

• resovle conflicts w/ parent

  vezenovm

  committed
  b53a2aa

  Copy full SHA for b53a2aa

• Update compiler/noirc_evaluator/src/ssa/opt/defunctionalize.rs

  Show description for 0c77f8f
  

  vezenovm

  and

  TomAFrench

  authored
  0c77f8f

  Copy full SHA for 0c77f8f

• fixup git suggestion

  vezenovm

  committed
  5cd9335

  Copy full SHA for 5cd9335

• use AssertMessageMacro when disable_macros is enabled

  vezenovm

  committed
  c8170f3

  Copy full SHA for c8170f3

• chore: reduce diff and fix clippy warnings

  TomAFrench

  committed
  ae23e5c

  Copy full SHA for ae23e5c

• chore: reduce diff

  TomAFrench

  committed
  5e0e198

  Copy full SHA for 5e0e198

• format constrain err better

  vezenovm

  committed
  fa6b50c

  Copy full SHA for fa6b50c

• Update compiler/noirc_evaluator/src/ssa/ssa_gen/mod.rs

  Show description for f5598fe
  

  vezenovm

  and

  TomAFrench

  authored
  f5598fe

  Copy full SHA for f5598fe

• cargo fmt

  vezenovm

  committed
  d3c2f0e

  Copy full SHA for d3c2f0e

• fix old test updates

  vezenovm

  committed
  bb34b45

  Copy full SHA for bb34b45

• remove old comment

  vezenovm

  committed
  819c95a

  Copy full SHA for 819c95a

• reduce diff

  vezenovm

  committed
  c62bec8

  Copy full SHA for c62bec8

• Merge branch 'mv/assert-msg-fmtstr' into mv/option-expect

  vezenovm

  committed
  7eb7581

  Copy full SHA for 7eb7581

• change to only fmtstr accepted for Option expect

  vezenovm

  committed
  4eaaea9

  Copy full SHA for 4eaaea9

• document expect

  vezenovm

  committed
  7c1778f

  Copy full SHA for 7c1778f

• update assert docs

  vezenovm

  committed
  7f174dc

  Copy full SHA for 7f174dc

• use f-string for expect in option compile_success_empty test

  vezenovm

  committed
  e06ec4b

  Copy full SHA for e06ec4b

• Merge branch 'mv/assert-msg-fmtstr' into mv/option-expect

  vezenovm

  committed
  2dc4805

  Copy full SHA for 2dc4805

Commits on Feb 1, 2024

• merge conflicts

  vezenovm

  committed
  7b2ca25

  Copy full SHA for 7b2ca25

• reduce diff

  vezenovm

  committed
  4e3aa17

  Copy full SHA for 4e3aa17

• remove unnecessary prover files

  vezenovm

  committed
  335f250

  Copy full SHA for 335f250