Skip to content

chore: add insert_range_check method to FunctionBuilder#3959

Merged
kevaundray merged 1 commit intomasterfrom
tf/insert-range-check
Jan 5, 2024
Merged

chore: add insert_range_check method to FunctionBuilder#3959
kevaundray merged 1 commit intomasterfrom
tf/insert-range-check

Conversation

@TomAFrench
Copy link
Member

Description

Problem*

Resolves

Summary*

This PR gives an insert_range_check method for consistency with the other Instructions.

Additional Context

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@kevaundray kevaundray added this pull request to the merge queue Jan 5, 2024
Merged via the queue into master with commit 043d03d Jan 5, 2024
@kevaundray kevaundray deleted the tf/insert-range-check branch January 5, 2024 14:03
TomAFrench added a commit that referenced this pull request Jan 5, 2024
* master: (137 commits)
  chore: add `insert_range_check` method to `FunctionBuilder` (#3959)
  chore: remove usage of term "preprocessed" in favour of "artifact" (#3939)
  feat(lsp): goto trait from trait impl (#3956)
  fix: preserve brillig entrypoint functions without arguments (#3951)
  feat: implement `Eq` trait on curve points (#3944)
  chore: fixing links to the blackbox functions (#3941)
  feat(lsp): cache definitions for goto requests (#3930)
  feat: remove range constraints from witnesses which are constrained to be constants (#3928)
  fix: implement missing codegen for `BlackBoxFunc::EcdsaSecp256r1` in brillig (#3943)
  chore(debugger): Integration tests (#3938)
  fix: handle multiple imports in the same file (#3903)
  feat: add foreign call support to `noir_codegen` functions (#3933)
  feat: Implement Operator Overloading (#3931)
  chore: fix casing on `InternalError::Unexpected` (#3937)
  chore: add test case for brillig array equality assertion (#3936)
  feat(lsp): goto struct member inside Impl method (#3918)
  chore: fix broken links (#3935)
  chore: updated ACIR documentation and other docs (#3932)
  chore: rename "syntax" chapter in docs to "concepts" (#3934)
  fix: checks for cyclic dependencies (#3699)
  ...
TomAFrench added a commit that referenced this pull request Jan 8, 2024
* master:
  chore: Stop cloning `FuncMeta` (#3968)
  feat: add MVP `nargo export` command (#3870)
  chore: clippy and general cleanup of debugger (#3957)
  chore: updating the noirjs tutorial to match stable + some other improvements (#3929)
  chore: add `insert_range_check` method to `FunctionBuilder` (#3959)
  chore: remove usage of term "preprocessed" in favour of "artifact" (#3939)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants