Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: document BoundedVec #5974

Merged
merged 2 commits into from
Sep 9, 2024
Merged

chore: document BoundedVec #5974

merged 2 commits into from
Sep 9, 2024

Conversation

asterite
Copy link
Collaborator

@asterite asterite commented Sep 9, 2024

Description

Problem

Part of #5797

Summary

This PR copies the docs from the .md file to the .nr file.

Additional Context

I'll be sending one PR per .md file. It looks like they are 36 in total so it will take some time to port all the docs, but not that much. And this way reviewing these PRs will be more manageable.

For now examples are copied inline into the .nr file. Eventually we could maybe have nargo test run or at least type-check these example

Documentation

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] 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.

Copy link
Contributor

github-actions bot commented Sep 9, 2024

Changes to Brillig bytecode sizes

Generated at commit: 8b91818543a56ea64239513fce495b06da0bcd38, compared to commit: 5c746831e1b67b4148fd630150159cfde3f3e29e

There are no changes in circuit sizes

noir_stdlib/src/collections/bounded_vec.nr Outdated Show resolved Hide resolved
@asterite asterite added this pull request to the merge queue Sep 9, 2024
Merged via the queue into master with commit ec442d4 Sep 9, 2024
46 checks passed
@asterite asterite deleted the ab/noir-stdlib-docs-BoundedVec branch September 9, 2024 16:17
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 10, 2024
fix: Error when `quote` is used in runtime code (noir-lang/noir#5978)
chore: document HashMap (noir-lang/noir#5984)
fix: Restrict keccak256_injective test input to 8 bits (noir-lang/noir#5977)
fix: Error when comptime functions are used in runtime code (noir-lang/noir#5976)
chore: document BoundedVec (noir-lang/noir#5974)
feat: add `Expr::as_let` (noir-lang/noir#5964)
chore: remove 3 unused functions warnings in the stdlib (noir-lang/noir#5973)
feat: let `nargo` and LSP work well in the stdlib (noir-lang/noir#5969)
feat: show doc comments in LSP (noir-lang/noir#5968)
feat: add a `panic` method to the stdlib (noir-lang/noir#5966)
fix: LSP document symbol didn't work for primitive impls (noir-lang/noir#5970)
fix(mem2reg): Handle aliases in function last store cleanup and additional alias unit test (noir-lang/noir#5967)
fix: let `derive(Eq)` work for empty structs (noir-lang/noir#5965)
feat: add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` (noir-lang/noir#5962)
feat: LSP autocompletion for attributes (noir-lang/noir#5963)
feat: `Module::add_item` (noir-lang/noir#5947)
feat: Add `StructDefinition::add_generic` (noir-lang/noir#5961)
feat: Add `StructDefinition::name` (noir-lang/noir#5960)
fix(mem2reg): Handle aliases better when setting a known value for a load (noir-lang/noir#5959)
feat: Arithmetic Generics (noir-lang/noir#5950)
feat: add `FunctionDefinition::module` and `StructDefinition::module` (noir-lang/noir#5956)
feat: LSP now suggests self fields and methods (noir-lang/noir#5955)
TomAFrench added a commit that referenced this pull request Sep 10, 2024
* master: (60 commits)
  fix: suggest trait attributes in LSP (#5972)
  fix: Error when `quote` is used in runtime code (#5978)
  chore: document HashMap (#5984)
  fix: Restrict keccak256_injective test input to 8 bits (#5977)
  fix: Error when comptime functions are used in runtime code (#5976)
  chore: document BoundedVec (#5974)
  feat: add `Expr::as_let` (#5964)
  chore: remove 3 unused functions warnings in the stdlib (#5973)
  feat: let `nargo` and LSP work well in the stdlib (#5969)
  feat: show doc comments in LSP (#5968)
  feat: add a `panic` method to the stdlib (#5966)
  fix: LSP document symbol didn't work for primitive impls (#5970)
  fix(mem2reg): Handle aliases in function last store cleanup and additional alias unit test (#5967)
  fix: let `derive(Eq)` work for empty structs (#5965)
  feat: add `FunctionDefinition` methods `is_unconstrained` and `set_unconstrained` (#5962)
  feat: LSP autocompletion for attributes (#5963)
  feat: `Module::add_item` (#5947)
  feat: Add `StructDefinition::add_generic` (#5961)
  feat: Add `StructDefinition::name` (#5960)
  fix(mem2reg): Handle aliases better when setting a known value for a load (#5959)
  ...
TomAFrench added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 10, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: suggest trait attributes in LSP
(noir-lang/noir#5972)
fix: Error when `quote` is used in runtime code
(noir-lang/noir#5978)
chore: document HashMap (noir-lang/noir#5984)
fix: Restrict keccak256_injective test input to 8 bits
(noir-lang/noir#5977)
fix: Error when comptime functions are used in runtime code
(noir-lang/noir#5976)
chore: document BoundedVec (noir-lang/noir#5974)
feat: add `Expr::as_let` (noir-lang/noir#5964)
chore: remove 3 unused functions warnings in the stdlib
(noir-lang/noir#5973)
feat: let `nargo` and LSP work well in the stdlib
(noir-lang/noir#5969)
feat: show doc comments in LSP
(noir-lang/noir#5968)
feat: add a `panic` method to the stdlib
(noir-lang/noir#5966)
fix: LSP document symbol didn't work for primitive impls
(noir-lang/noir#5970)
fix(mem2reg): Handle aliases in function last store cleanup and
additional alias unit test (noir-lang/noir#5967)
fix: let `derive(Eq)` work for empty structs
(noir-lang/noir#5965)
feat: add `FunctionDefinition` methods `is_unconstrained` and
`set_unconstrained` (noir-lang/noir#5962)
feat: LSP autocompletion for attributes
(noir-lang/noir#5963)
feat: `Module::add_item` (noir-lang/noir#5947)
feat: Add `StructDefinition::add_generic`
(noir-lang/noir#5961)
feat: Add `StructDefinition::name`
(noir-lang/noir#5960)
fix(mem2reg): Handle aliases better when setting a known value for a
load (noir-lang/noir#5959)
feat: Arithmetic Generics (noir-lang/noir#5950)
feat: add `FunctionDefinition::module` and `StructDefinition::module`
(noir-lang/noir#5956)
feat: LSP now suggests self fields and methods
(noir-lang/noir#5955)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>
PhilWindle pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 10, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.54.0</summary>

##
[0.54.0](aztec-package-v0.53.0...aztec-package-v0.54.0)
(2024-09-10)


### Features

* Archiver fork block num
([#8425](#8425))
([a9f2364](a9f2364))


### Miscellaneous

* Merge devnet to master
([#8472](#8472))
([26706e9](26706e9))
</details>

<details><summary>barretenberg.js: 0.54.0</summary>

##
[0.54.0](barretenberg.js-v0.53.0...barretenberg.js-v0.54.0)
(2024-09-10)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.54.0</summary>

##
[0.54.0](aztec-packages-v0.53.0...aztec-packages-v0.54.0)
(2024-09-10)


### ⚠ BREAKING CHANGES

* **avm:** variants for binary operations
([#8473](#8473))
* **avm:** make JUMP(I) 16-bit
([#8443](#8443))
* **avm:** variants for SET opcode
([#8441](#8441))
* **avm:** variants for MOV opcode
([#8440](#8440))

### Features

* (bb) 128-bit challenges
([#8406](#8406))
([d5b2397](d5b2397))
* `Module::add_item` (noir-lang/noir#5947)
([8ac81b1](8ac81b1))
* Add `Expr::as_let` (noir-lang/noir#5964)
([8ac81b1](8ac81b1))
* Add `FunctionDefinition::module` and `StructDefinition::module`
(noir-lang/noir#5956)
([8ac81b1](8ac81b1))
* Add `FunctionDefinition` methods `is_unconstrained` and
`set_unconstrained` (noir-lang/noir#5962)
([8ac81b1](8ac81b1))
* Add `StructDefinition::add_generic`
(noir-lang/noir#5961)
([8ac81b1](8ac81b1))
* Add `StructDefinition::name`
(noir-lang/noir#5960)
([8ac81b1](8ac81b1))
* Add a `panic` method to the stdlib
(noir-lang/noir#5966)
([8ac81b1](8ac81b1))
* Archiver fork block num
([#8425](#8425))
([a9f2364](a9f2364))
* Arithmetic Generics (noir-lang/noir#5950)
([8ac81b1](8ac81b1))
* **avm-transpiler:** Optionally count opcode types
([#8439](#8439))
([21c06b5](21c06b5))
* **avm/public:** User space PublicContext::get_args_hash
([#8292](#8292))
([56ce16a](56ce16a))
* **avm:** DSL integration of AVM recursive verifier
([#8405](#8405))
([467120e](467120e)),
closes
[#8285](#8285)
* **avm:** Make JUMP(I) 16-bit
([#8443](#8443))
([5bb38b1](5bb38b1))
* **avm:** Variants for binary operations
([#8473](#8473))
([8de1f2a](8de1f2a))
* **avm:** Variants for MOV opcode
([#8440](#8440))
([5b27fbc](5b27fbc))
* **avm:** Variants for SET opcode
([#8441](#8441))
([dc43306](dc43306))
* **bb:** Towards reduced polynomial memory usage
([#7990](#7990))
([372f23c](372f23c))
* Let `nargo` and LSP work well in the stdlib
(noir-lang/noir#5969)
([8ac81b1](8ac81b1))
* LSP autocompletion for attributes
(noir-lang/noir#5963)
([8ac81b1](8ac81b1))
* LSP now suggests self fields and methods
(noir-lang/noir#5955)
([8ac81b1](8ac81b1))
* Show doc comments in LSP (noir-lang/noir#5968)
([8ac81b1](8ac81b1))


### Bug Fixes

* Add re-exports back
([#8453](#8453))
([b6cab90](b6cab90))
* **avm:** Full proving kernel fix
([#8468](#8468))
([684d962](684d962))
* **bb:** Mac release
([#8450](#8450))
([1b3f914](1b3f914))
* **docs:** Some docs updates
([#8412](#8412))
([ad73f30](ad73f30))
* Error when `quote` is used in runtime code
(noir-lang/noir#5978)
([8ac81b1](8ac81b1))
* Error when comptime functions are used in runtime code
(noir-lang/noir#5976)
([8ac81b1](8ac81b1))
* Fmt
([#8454](#8454))
([34b4a8a](34b4a8a))
* Guesstimate gas for propose
([#8445](#8445))
([bff0338](bff0338))
* Let `derive(Eq)` work for empty structs
(noir-lang/noir#5965)
([8ac81b1](8ac81b1))
* LSP document symbol didn't work for primitive impls
(noir-lang/noir#5970)
([8ac81b1](8ac81b1))
* **mem2reg:** Handle aliases better when setting a known value for a
load (noir-lang/noir#5959)
([8ac81b1](8ac81b1))
* **mem2reg:** Handle aliases in function last store cleanup and
additional alias unit test (noir-lang/noir#5967)
([8ac81b1](8ac81b1))
* Public data reads and writes verification
([#8296](#8296))
([ae86347](ae86347))
* Restrict keccak256_injective test input to 8 bits
(noir-lang/noir#5977)
([8ac81b1](8ac81b1))
* Suggest trait attributes in LSP
(noir-lang/noir#5972)
([8ac81b1](8ac81b1))


### Miscellaneous

* **bb:** Remove poly downsizing, other fast-follow from structured
polys
([#8475](#8475))
([ac88f30](ac88f30))
* **ci:** Rerun ci when ready for review + don't allow draft merge
([#8456](#8456))
([ede16d3](ede16d3))
* **docs:** Update box readme, remove duplicated features, added box
install to the docs
([#8254](#8254))
([b747ac1](b747ac1))
* Document BoundedVec (noir-lang/noir#5974)
([8ac81b1](8ac81b1))
* Document HashMap (noir-lang/noir#5984)
([8ac81b1](8ac81b1))
* Merge devnet to master
([#8472](#8472))
([26706e9](26706e9))
* Remove 3 unused functions warnings in the stdlib
(noir-lang/noir#5973)
([8ac81b1](8ac81b1))
* Remove warnings from protocol circuits
([#8420](#8420))
([c4dbcab](c4dbcab))
* Rename files relating to what were "instances"
([#8383](#8383))
([a934e85](a934e85))
* Replace relative paths to noir-protocol-circuits
([1c43bae](1c43bae))
</details>

<details><summary>barretenberg: 0.54.0</summary>

##
[0.54.0](barretenberg-v0.53.0...barretenberg-v0.54.0)
(2024-09-10)


### ⚠ BREAKING CHANGES

* **avm:** variants for binary operations
([#8473](#8473))
* **avm:** make JUMP(I) 16-bit
([#8443](#8443))
* **avm:** variants for SET opcode
([#8441](#8441))
* **avm:** variants for MOV opcode
([#8440](#8440))

### Features

* (bb) 128-bit challenges
([#8406](#8406))
([d5b2397](d5b2397))
* **avm:** DSL integration of AVM recursive verifier
([#8405](#8405))
([467120e](467120e)),
closes
[#8285](#8285)
* **avm:** Make JUMP(I) 16-bit
([#8443](#8443))
([5bb38b1](5bb38b1))
* **avm:** Variants for binary operations
([#8473](#8473))
([8de1f2a](8de1f2a))
* **avm:** Variants for MOV opcode
([#8440](#8440))
([5b27fbc](5b27fbc))
* **avm:** Variants for SET opcode
([#8441](#8441))
([dc43306](dc43306))
* **bb:** Towards reduced polynomial memory usage
([#7990](#7990))
([372f23c](372f23c))


### Bug Fixes

* **avm:** Full proving kernel fix
([#8468](#8468))
([684d962](684d962))
* **bb:** Mac release
([#8450](#8450))
([1b3f914](1b3f914))


### Miscellaneous

* **bb:** Remove poly downsizing, other fast-follow from structured
polys
([#8475](#8475))
([ac88f30](ac88f30))
* Rename files relating to what were "instances"
([#8383](#8383))
([a934e85](a934e85))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/barretenberg that referenced this pull request Sep 11, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.54.0</summary>

##
[0.54.0](AztecProtocol/aztec-packages@aztec-package-v0.53.0...aztec-package-v0.54.0)
(2024-09-10)


### Features

* Archiver fork block num
([#8425](AztecProtocol/aztec-packages#8425))
([a9f2364](AztecProtocol/aztec-packages@a9f2364))


### Miscellaneous

* Merge devnet to master
([#8472](AztecProtocol/aztec-packages#8472))
([26706e9](AztecProtocol/aztec-packages@26706e9))
</details>

<details><summary>barretenberg.js: 0.54.0</summary>

##
[0.54.0](AztecProtocol/aztec-packages@barretenberg.js-v0.53.0...barretenberg.js-v0.54.0)
(2024-09-10)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.54.0</summary>

##
[0.54.0](AztecProtocol/aztec-packages@aztec-packages-v0.53.0...aztec-packages-v0.54.0)
(2024-09-10)


### ⚠ BREAKING CHANGES

* **avm:** variants for binary operations
([#8473](AztecProtocol/aztec-packages#8473))
* **avm:** make JUMP(I) 16-bit
([#8443](AztecProtocol/aztec-packages#8443))
* **avm:** variants for SET opcode
([#8441](AztecProtocol/aztec-packages#8441))
* **avm:** variants for MOV opcode
([#8440](AztecProtocol/aztec-packages#8440))

### Features

* (bb) 128-bit challenges
([#8406](AztecProtocol/aztec-packages#8406))
([d5b2397](AztecProtocol/aztec-packages@d5b2397))
* `Module::add_item` (noir-lang/noir#5947)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add `Expr::as_let` (noir-lang/noir#5964)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add `FunctionDefinition::module` and `StructDefinition::module`
(noir-lang/noir#5956)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add `FunctionDefinition` methods `is_unconstrained` and
`set_unconstrained` (noir-lang/noir#5962)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add `StructDefinition::add_generic`
(noir-lang/noir#5961)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add `StructDefinition::name`
(noir-lang/noir#5960)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Add a `panic` method to the stdlib
(noir-lang/noir#5966)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Archiver fork block num
([#8425](AztecProtocol/aztec-packages#8425))
([a9f2364](AztecProtocol/aztec-packages@a9f2364))
* Arithmetic Generics (noir-lang/noir#5950)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* **avm-transpiler:** Optionally count opcode types
([#8439](AztecProtocol/aztec-packages#8439))
([21c06b5](AztecProtocol/aztec-packages@21c06b5))
* **avm/public:** User space PublicContext::get_args_hash
([#8292](AztecProtocol/aztec-packages#8292))
([56ce16a](AztecProtocol/aztec-packages@56ce16a))
* **avm:** DSL integration of AVM recursive verifier
([#8405](AztecProtocol/aztec-packages#8405))
([467120e](AztecProtocol/aztec-packages@467120e)),
closes
[#8285](AztecProtocol/aztec-packages#8285)
* **avm:** Make JUMP(I) 16-bit
([#8443](AztecProtocol/aztec-packages#8443))
([5bb38b1](AztecProtocol/aztec-packages@5bb38b1))
* **avm:** Variants for binary operations
([#8473](AztecProtocol/aztec-packages#8473))
([8de1f2a](AztecProtocol/aztec-packages@8de1f2a))
* **avm:** Variants for MOV opcode
([#8440](AztecProtocol/aztec-packages#8440))
([5b27fbc](AztecProtocol/aztec-packages@5b27fbc))
* **avm:** Variants for SET opcode
([#8441](AztecProtocol/aztec-packages#8441))
([dc43306](AztecProtocol/aztec-packages@dc43306))
* **bb:** Towards reduced polynomial memory usage
([#7990](AztecProtocol/aztec-packages#7990))
([372f23c](AztecProtocol/aztec-packages@372f23c))
* Let `nargo` and LSP work well in the stdlib
(noir-lang/noir#5969)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* LSP autocompletion for attributes
(noir-lang/noir#5963)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* LSP now suggests self fields and methods
(noir-lang/noir#5955)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Show doc comments in LSP (noir-lang/noir#5968)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))


### Bug Fixes

* Add re-exports back
([#8453](AztecProtocol/aztec-packages#8453))
([b6cab90](AztecProtocol/aztec-packages@b6cab90))
* **avm:** Full proving kernel fix
([#8468](AztecProtocol/aztec-packages#8468))
([684d962](AztecProtocol/aztec-packages@684d962))
* **bb:** Mac release
([#8450](AztecProtocol/aztec-packages#8450))
([1b3f914](AztecProtocol/aztec-packages@1b3f914))
* **docs:** Some docs updates
([#8412](AztecProtocol/aztec-packages#8412))
([ad73f30](AztecProtocol/aztec-packages@ad73f30))
* Error when `quote` is used in runtime code
(noir-lang/noir#5978)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Error when comptime functions are used in runtime code
(noir-lang/noir#5976)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Fmt
([#8454](AztecProtocol/aztec-packages#8454))
([34b4a8a](AztecProtocol/aztec-packages@34b4a8a))
* Guesstimate gas for propose
([#8445](AztecProtocol/aztec-packages#8445))
([bff0338](AztecProtocol/aztec-packages@bff0338))
* Let `derive(Eq)` work for empty structs
(noir-lang/noir#5965)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* LSP document symbol didn't work for primitive impls
(noir-lang/noir#5970)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* **mem2reg:** Handle aliases better when setting a known value for a
load (noir-lang/noir#5959)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* **mem2reg:** Handle aliases in function last store cleanup and
additional alias unit test (noir-lang/noir#5967)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Public data reads and writes verification
([#8296](AztecProtocol/aztec-packages#8296))
([ae86347](AztecProtocol/aztec-packages@ae86347))
* Restrict keccak256_injective test input to 8 bits
(noir-lang/noir#5977)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Suggest trait attributes in LSP
(noir-lang/noir#5972)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))


### Miscellaneous

* **bb:** Remove poly downsizing, other fast-follow from structured
polys
([#8475](AztecProtocol/aztec-packages#8475))
([ac88f30](AztecProtocol/aztec-packages@ac88f30))
* **ci:** Rerun ci when ready for review + don't allow draft merge
([#8456](AztecProtocol/aztec-packages#8456))
([ede16d3](AztecProtocol/aztec-packages@ede16d3))
* **docs:** Update box readme, remove duplicated features, added box
install to the docs
([#8254](AztecProtocol/aztec-packages#8254))
([b747ac1](AztecProtocol/aztec-packages@b747ac1))
* Document BoundedVec (noir-lang/noir#5974)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Document HashMap (noir-lang/noir#5984)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Merge devnet to master
([#8472](AztecProtocol/aztec-packages#8472))
([26706e9](AztecProtocol/aztec-packages@26706e9))
* Remove 3 unused functions warnings in the stdlib
(noir-lang/noir#5973)
([8ac81b1](AztecProtocol/aztec-packages@8ac81b1))
* Remove warnings from protocol circuits
([#8420](AztecProtocol/aztec-packages#8420))
([c4dbcab](AztecProtocol/aztec-packages@c4dbcab))
* Rename files relating to what were "instances"
([#8383](AztecProtocol/aztec-packages#8383))
([a934e85](AztecProtocol/aztec-packages@a934e85))
* Replace relative paths to noir-protocol-circuits
([1c43bae](AztecProtocol/aztec-packages@1c43bae))
</details>

<details><summary>barretenberg: 0.54.0</summary>

##
[0.54.0](AztecProtocol/aztec-packages@barretenberg-v0.53.0...barretenberg-v0.54.0)
(2024-09-10)


### ⚠ BREAKING CHANGES

* **avm:** variants for binary operations
([#8473](AztecProtocol/aztec-packages#8473))
* **avm:** make JUMP(I) 16-bit
([#8443](AztecProtocol/aztec-packages#8443))
* **avm:** variants for SET opcode
([#8441](AztecProtocol/aztec-packages#8441))
* **avm:** variants for MOV opcode
([#8440](AztecProtocol/aztec-packages#8440))

### Features

* (bb) 128-bit challenges
([#8406](AztecProtocol/aztec-packages#8406))
([d5b2397](AztecProtocol/aztec-packages@d5b2397))
* **avm:** DSL integration of AVM recursive verifier
([#8405](AztecProtocol/aztec-packages#8405))
([467120e](AztecProtocol/aztec-packages@467120e)),
closes
[#8285](AztecProtocol/aztec-packages#8285)
* **avm:** Make JUMP(I) 16-bit
([#8443](AztecProtocol/aztec-packages#8443))
([5bb38b1](AztecProtocol/aztec-packages@5bb38b1))
* **avm:** Variants for binary operations
([#8473](AztecProtocol/aztec-packages#8473))
([8de1f2a](AztecProtocol/aztec-packages@8de1f2a))
* **avm:** Variants for MOV opcode
([#8440](AztecProtocol/aztec-packages#8440))
([5b27fbc](AztecProtocol/aztec-packages@5b27fbc))
* **avm:** Variants for SET opcode
([#8441](AztecProtocol/aztec-packages#8441))
([dc43306](AztecProtocol/aztec-packages@dc43306))
* **bb:** Towards reduced polynomial memory usage
([#7990](AztecProtocol/aztec-packages#7990))
([372f23c](AztecProtocol/aztec-packages@372f23c))


### Bug Fixes

* **avm:** Full proving kernel fix
([#8468](AztecProtocol/aztec-packages#8468))
([684d962](AztecProtocol/aztec-packages@684d962))
* **bb:** Mac release
([#8450](AztecProtocol/aztec-packages#8450))
([1b3f914](AztecProtocol/aztec-packages@1b3f914))


### Miscellaneous

* **bb:** Remove poly downsizing, other fast-follow from structured
polys
([#8475](AztecProtocol/aztec-packages#8475))
([ac88f30](AztecProtocol/aztec-packages@ac88f30))
* Rename files relating to what were "instances"
([#8383](AztecProtocol/aztec-packages#8383))
([a934e85](AztecProtocol/aztec-packages@a934e85))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/aztec-nr that referenced this pull request Sep 11, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: suggest trait attributes in LSP
(noir-lang/noir#5972)
fix: Error when `quote` is used in runtime code
(noir-lang/noir#5978)
chore: document HashMap (noir-lang/noir#5984)
fix: Restrict keccak256_injective test input to 8 bits
(noir-lang/noir#5977)
fix: Error when comptime functions are used in runtime code
(noir-lang/noir#5976)
chore: document BoundedVec (noir-lang/noir#5974)
feat: add `Expr::as_let` (noir-lang/noir#5964)
chore: remove 3 unused functions warnings in the stdlib
(noir-lang/noir#5973)
feat: let `nargo` and LSP work well in the stdlib
(noir-lang/noir#5969)
feat: show doc comments in LSP
(noir-lang/noir#5968)
feat: add a `panic` method to the stdlib
(noir-lang/noir#5966)
fix: LSP document symbol didn't work for primitive impls
(noir-lang/noir#5970)
fix(mem2reg): Handle aliases in function last store cleanup and
additional alias unit test (noir-lang/noir#5967)
fix: let `derive(Eq)` work for empty structs
(noir-lang/noir#5965)
feat: add `FunctionDefinition` methods `is_unconstrained` and
`set_unconstrained` (noir-lang/noir#5962)
feat: LSP autocompletion for attributes
(noir-lang/noir#5963)
feat: `Module::add_item` (noir-lang/noir#5947)
feat: Add `StructDefinition::add_generic`
(noir-lang/noir#5961)
feat: Add `StructDefinition::name`
(noir-lang/noir#5960)
fix(mem2reg): Handle aliases better when setting a known value for a
load (noir-lang/noir#5959)
feat: Arithmetic Generics (noir-lang/noir#5950)
feat: add `FunctionDefinition::module` and `StructDefinition::module`
(noir-lang/noir#5956)
feat: LSP now suggests self fields and methods
(noir-lang/noir#5955)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>
TomAFrench added a commit that referenced this pull request Sep 11, 2024
* master:
  feat: LSP completion function detail (#5993)
  feat: add `TypedExpr::get_type` (#5992)
  feat: better error message for misplaced doc comments (#5990)
  fix: Error when comptime types are used in runtime code (#5987)
  fix: suggest trait attributes in LSP (#5972)
  fix: Error when `quote` is used in runtime code (#5978)
  chore: document HashMap (#5984)
  fix: Restrict keccak256_injective test input to 8 bits (#5977)
  fix: Error when comptime functions are used in runtime code (#5976)
  chore: document BoundedVec (#5974)
  feat: add `Expr::as_let` (#5964)
  chore: remove 3 unused functions warnings in the stdlib (#5973)
  feat: let `nargo` and LSP work well in the stdlib (#5969)
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