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: Release Noir(0.33.0) #5550

Merged
merged 3 commits into from
Aug 6, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .release-please-manifest.json
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
".": "0.32.0",
"acvm-repo": "0.48.0"
".": "0.33.0",
"acvm-repo": "0.49.0"
}
91 changes: 91 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,96 @@
# Changelog

## [0.33.0](https://github.com/noir-lang/noir/compare/v0.32.0...v0.33.0) (2024-08-06)


### ⚠ BREAKING CHANGES

* parse block and if statements independently of expressions in statements ([#5634](https://github.com/noir-lang/noir/issues/5634))
* **frontend:** Restrict numeric generic types to unsigned ints up to `u32` ([#5581](https://github.com/noir-lang/noir/issues/5581))

### Features

* **acir_gen:** Width aware ACIR gen addition ([#5493](https://github.com/noir-lang/noir/issues/5493)) ([85fa592](https://github.com/noir-lang/noir/commit/85fa592fdef3b8589ce03b232e1b51565837b540))
* Add `FunctionDefinition::parameters`, `FunctionDefinition::return_type` and `impl Eq for Quoted` ([#5681](https://github.com/noir-lang/noir/issues/5681)) ([d52fc05](https://github.com/noir-lang/noir/commit/d52fc056ae5dec4457dd869d50dd9a6e5b0b5cb1))
* Add `std::meta::type_of` and `impl Eq for Type` ([#5669](https://github.com/noir-lang/noir/issues/5669)) ([0503956](https://github.com/noir-lang/noir/commit/05039568e317c16cecc173717e63288e7ca3890c))
* Add `TraitDefinition::as_trait_constraint()` ([#5541](https://github.com/noir-lang/noir/issues/5541)) ([0943223](https://github.com/noir-lang/noir/commit/094322381da67e2b9aef27b5558ba98a47abfccc))
* Add `Type::as_struct` ([#5680](https://github.com/noir-lang/noir/issues/5680)) ([ade69a9](https://github.com/noir-lang/noir/commit/ade69a9e5f1546249e9b43b40e9ff0da87c4632e))
* Add `Type::is_field` and `Type::as_integer` ([#5670](https://github.com/noir-lang/noir/issues/5670)) ([939357a](https://github.com/noir-lang/noir/commit/939357acae87eae833ff10572f7a1ad52b35d94e))
* Add `Type` methods: `as_tuple`, `as_slice`, `as_array`, `as_constant`, `is_bool` ([#5678](https://github.com/noir-lang/noir/issues/5678)) ([604fa0d](https://github.com/noir-lang/noir/commit/604fa0d85c1a0c47c7c0b8402576afb61ceb664b))
* Add a compile-time hash map type ([#5543](https://github.com/noir-lang/noir/issues/5543)) ([c6e5c4b](https://github.com/noir-lang/noir/commit/c6e5c4b304eb4e87ca519151f610e7e03b1a4fba))
* Add a limited form of arithmetic on generics ([#5625](https://github.com/noir-lang/noir/issues/5625)) ([0afb680](https://github.com/noir-lang/noir/commit/0afb6805e3c3cbe0f84f39d9e2e57e038450547d))
* Add parameter to call_data attribute ([#5599](https://github.com/noir-lang/noir/issues/5599)) ([e8bb341](https://github.com/noir-lang/noir/commit/e8bb3417d276d17db85b408b825e61c32fa20744))
* Allow inserting LSP inlay type hints ([#5620](https://github.com/noir-lang/noir/issues/5620)) ([b33495d](https://github.com/noir-lang/noir/commit/b33495d0799f7c296cf6e284ea19abbbe5821793))
* Avoid heap allocs when going to/from field (https://github.com/AztecProtocol/aztec-packages/pull/7547) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Derive `Ord` and `Hash` in the stdlib; add `std::meta::make_impl` helper ([#5683](https://github.com/noir-lang/noir/issues/5683)) ([38397d3](https://github.com/noir-lang/noir/commit/38397d346aac4ec19026ede2776e776fdceb854c))
* Don't eagerly error on cast expressions ([#5635](https://github.com/noir-lang/noir/issues/5635)) ([0ca5d9d](https://github.com/noir-lang/noir/commit/0ca5d9d7b389d24cf48fa62a29cb437b1855438a))
* Implement `poseidon2_permutation` in comptime interpreter ([#5590](https://github.com/noir-lang/noir/issues/5590)) ([89dfbbf](https://github.com/noir-lang/noir/commit/89dfbbfe6efffcce9a44c39ccf7e92036a0e222a))
* Implement `Value::Type` in comptime interpreter ([#5593](https://github.com/noir-lang/noir/issues/5593)) ([4c3bf97](https://github.com/noir-lang/noir/commit/4c3bf97fe7475f1027285cb5ad26b3c578a632b7))
* Implement `zeroed` in the interpreter ([#5540](https://github.com/noir-lang/noir/issues/5540)) ([ff8ca91](https://github.com/noir-lang/noir/commit/ff8ca91efc925bf8bdbe7f2d2feb651981c5c1b9))
* Implement closures in the comptime interpreter ([#5682](https://github.com/noir-lang/noir/issues/5682)) ([9e2a323](https://github.com/noir-lang/noir/commit/9e2a3232c8849f19732472e75840717b8b95a4a9))
* Implement format strings in the comptime interpreter ([#5596](https://github.com/noir-lang/noir/issues/5596)) ([fd7002c](https://github.com/noir-lang/noir/commit/fd7002caaf15c297227ce53047dd3361674a527d))
* Integrate new proving systems in e2e (https://github.com/AztecProtocol/aztec-packages/pull/6971) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Let filenames in errors be relative to the current dir if possible ([#5642](https://github.com/noir-lang/noir/issues/5642)) ([f656681](https://github.com/noir-lang/noir/commit/f656681dfccf01bac2811835fc9ab482e54e3da8))
* Let LSP work will with code generated by macros ([#5665](https://github.com/noir-lang/noir/issues/5665)) ([8122624](https://github.com/noir-lang/noir/commit/812262413770d2f20cba04eb0e3176320a3b704a))
* LSP closing brace hints ([#5686](https://github.com/noir-lang/noir/issues/5686)) ([2b18151](https://github.com/noir-lang/noir/commit/2b18151168b4fa0b1a4173b11f047ff2fc338d28))
* LSP hover now includes "Go to" links ([#5677](https://github.com/noir-lang/noir/issues/5677)) ([d466d49](https://github.com/noir-lang/noir/commit/d466d491ea50b495be7d5a45a8c3d85771f9b1c0))
* LSP inlay parameter hints ([#5553](https://github.com/noir-lang/noir/issues/5553)) ([822fe2c](https://github.com/noir-lang/noir/commit/822fe2ce38184243789a97f79ee412b9cef614e2))
* LSP inlay type hints on lambda parameters ([#5639](https://github.com/noir-lang/noir/issues/5639)) ([80128ff](https://github.com/noir-lang/noir/commit/80128ff0a5d54fc777ffef89a7acc27d347181e6))
* Make Brillig do integer arithmetic operations using u128 instead of Bigint (https://github.com/AztecProtocol/aztec-packages/pull/7518) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* **noir_js:** Expose UltraHonk and integration tests ([#5656](https://github.com/noir-lang/noir/issues/5656)) ([4552b4f](https://github.com/noir-lang/noir/commit/4552b4f357f023a9d054a34b3dc94d7a659c7d09))
* Remove 'comptime or separate crate' restriction on comptime code ([#5609](https://github.com/noir-lang/noir/issues/5609)) ([1cddf42](https://github.com/noir-lang/noir/commit/1cddf427b7f52b3cb394c8c4c682cfd176d5eb93))
* Resolve arguments to attributes ([#5649](https://github.com/noir-lang/noir/issues/5649)) ([e139002](https://github.com/noir-lang/noir/commit/e1390020c5ffc9c252b47eeffb3219ffa20c4879))
* **ssa:** Simple serialization of unoptimized SSA to file ([#5679](https://github.com/noir-lang/noir/issues/5679)) ([07ea107](https://github.com/noir-lang/noir/commit/07ea1077cad8a332970d9d5f40a520009976a033))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7432) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7444) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7454) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7577) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7583) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Turbofish in struct pattern ([#5616](https://github.com/noir-lang/noir/issues/5616)) ([b3c408b](https://github.com/noir-lang/noir/commit/b3c408b62424c87f9be5b58c33be7d77e62af98e))
* Turbofish operator in struct constructor ([#5607](https://github.com/noir-lang/noir/issues/5607)) ([106abd7](https://github.com/noir-lang/noir/commit/106abd71299a54dc68eb6ff39a0a8135b3f8eb49))
* Turbofish operator on path segments ([#5603](https://github.com/noir-lang/noir/issues/5603)) ([0bb8372](https://github.com/noir-lang/noir/commit/0bb8372e118036a34709da37c26d11a539a86bb3))
* Typing return values of embedded_curve_ops (https://github.com/AztecProtocol/aztec-packages/pull/7413) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))


### Bug Fixes

* 'cannot eval non-comptime global' error ([#5586](https://github.com/noir-lang/noir/issues/5586)) ([0a987c7](https://github.com/noir-lang/noir/commit/0a987c774e0349e2cdc17ad2aaee634c732b8785))
* `NoMatchingImplFound` in comptime code only ([#5617](https://github.com/noir-lang/noir/issues/5617)) ([28211a3](https://github.com/noir-lang/noir/commit/28211a397b810c661204b45b7da06f7cad345278))
* Add trailing extra arguments for backend in gates_flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7472) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Allow calling a trait method with paths that don't consist of exactly two segments ([#5577](https://github.com/noir-lang/noir/issues/5577)) ([88c0a40](https://github.com/noir-lang/noir/commit/88c0a40ea35c7a64e4361e3022286be6fa7da666))
* Allow trailing comma when parsing where clauses ([#5594](https://github.com/noir-lang/noir/issues/5594)) ([75bfe13](https://github.com/noir-lang/noir/commit/75bfe134457788f912da5173c395d7fbe0bb731a))
* Allow using Self for function calls ([#5629](https://github.com/noir-lang/noir/issues/5629)) ([b7e4f42](https://github.com/noir-lang/noir/commit/b7e4f424f3fc461122447c30989a3ce52ddea09d))
* Correct span for prefix operator ([#5624](https://github.com/noir-lang/noir/issues/5624)) ([5824785](https://github.com/noir-lang/noir/commit/58247854fba4309991529317671280bccd5cf21f))
* Correctly track sources for open LSP documents ([#5561](https://github.com/noir-lang/noir/issues/5561)) ([9e61e97](https://github.com/noir-lang/noir/commit/9e61e97a6cc5aecaf673742f4b333879eeb687d0))
* Derive generic types ([#5674](https://github.com/noir-lang/noir/issues/5674)) ([19e58a9](https://github.com/noir-lang/noir/commit/19e58a91a3b1d0534d8b0198347e3a2fb5488599))
* Don't panic when a macro fails to resolve ([#5537](https://github.com/noir-lang/noir/issues/5537)) ([6109ddc](https://github.com/noir-lang/noir/commit/6109ddc4a12a4f7593c87fcc42a059737febd470))
* Elaborate struct & trait annotations in the correct module ([#5643](https://github.com/noir-lang/noir/issues/5643)) ([d0a957b](https://github.com/noir-lang/noir/commit/d0a957ba9bd743ae00959b0680e275a0a3992308))
* Error on duplicate struct field ([#5585](https://github.com/noir-lang/noir/issues/5585)) ([3aed671](https://github.com/noir-lang/noir/commit/3aed671d2fdca661fdef160b3e2468ce10eda028))
* Error on incorrect generic count for impl and type alias ([#5623](https://github.com/noir-lang/noir/issues/5623)) ([1f5d000](https://github.com/noir-lang/noir/commit/1f5d0007430cd5cf057ce61ebc87304bb8cb557c))
* Error on trait impl generics count mismatch ([#5582](https://github.com/noir-lang/noir/issues/5582)) ([da3d607](https://github.com/noir-lang/noir/commit/da3d607fb30143f7fd4077765119f98e664f31f7))
* Error on unbound generics in structs ([#5619](https://github.com/noir-lang/noir/issues/5619)) ([efef6b4](https://github.com/noir-lang/noir/commit/efef6b4c9f2ff4bce7e83bed004eb05332ac349f))
* Filter comptime globals ([#5538](https://github.com/noir-lang/noir/issues/5538)) ([2adc6ac](https://github.com/noir-lang/noir/commit/2adc6ac372b41ab7f9e803311d3d733b1a5ca4fb))
* Fix `uhashmap` test name ([#5563](https://github.com/noir-lang/noir/issues/5563)) ([d5de83f](https://github.com/noir-lang/noir/commit/d5de83f7fefe014c5e5d9c3d82ab6aff6fd3217c))
* Fix occurs check ([#5535](https://github.com/noir-lang/noir/issues/5535)) ([51dd529](https://github.com/noir-lang/noir/commit/51dd529872da96ad7f7770d6bc5f7c23f5415b5a))
* Fix where clause issue in items generated from attributes ([#5673](https://github.com/noir-lang/noir/issues/5673)) ([9a8cfc9](https://github.com/noir-lang/noir/commit/9a8cfc9cfbf1861ca2b6563030b315bfcfbab130))
* **frontend:** Disallow signed numeric generics ([#5572](https://github.com/noir-lang/noir/issues/5572)) ([2b4853e](https://github.com/noir-lang/noir/commit/2b4853e71859f225acc123160e87c522212b16b5))
* **frontend:** Error for when impl is stricter than trait ([#5343](https://github.com/noir-lang/noir/issues/5343)) ([ece033f](https://github.com/noir-lang/noir/commit/ece033fcbf90ffbea992b4519d40076bf573b7af))
* **frontend:** Restrict numeric generic types to unsigned ints up to `u32` ([#5581](https://github.com/noir-lang/noir/issues/5581)) ([b85e764](https://github.com/noir-lang/noir/commit/b85e764c2156ebb68acb7fba68e63856f9d1235b))
* Let a trait impl that relies on another trait work ([#5646](https://github.com/noir-lang/noir/issues/5646)) ([e00c370](https://github.com/noir-lang/noir/commit/e00c3705794657ea8f8faa16bc2325511567e185))
* Let std::unsafe::zeroed() work for slices ([#5592](https://github.com/noir-lang/noir/issues/5592)) ([7daee20](https://github.com/noir-lang/noir/commit/7daee20a3c3628044e2e76b0a52abd5285a4432a))
* Let trait calls work in globals ([#5602](https://github.com/noir-lang/noir/issues/5602)) ([c02a6f6](https://github.com/noir-lang/noir/commit/c02a6f64b1920ec5a1a05e20df34227cc95d7b0a))
* Let unary traits work at comptime ([#5507](https://github.com/noir-lang/noir/issues/5507)) ([aa62d8a](https://github.com/noir-lang/noir/commit/aa62d8adce7ca2a4e021c8ec18b6056a7600fe95))
* Lookup trait constraints methods in composite types ([#5595](https://github.com/noir-lang/noir/issues/5595)) ([cec6390](https://github.com/noir-lang/noir/commit/cec63902c52710ba7df433eda310296f7b7652d2))
* Parse block and if statements independently of expressions in statements ([#5634](https://github.com/noir-lang/noir/issues/5634)) ([9341113](https://github.com/noir-lang/noir/commit/9341113840294d6d895d5ed9713ba551cf8a1db9))
* Revert "feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512)" (https://github.com/AztecProtocol/aztec-packages/pull/7558) ([daad75c](https://github.com/noir-lang/noir/commit/daad75c26d19ae707b90a7424b77dab9937e8575))
* Run macros within comptime contexts ([#5576](https://github.com/noir-lang/noir/issues/5576)) ([df44919](https://github.com/noir-lang/noir/commit/df449191a4edf669e1d3412789422177c54a9304))
* Speed up LSP ([#5650](https://github.com/noir-lang/noir/issues/5650)) ([e5f1b36](https://github.com/noir-lang/noir/commit/e5f1b368c8894b3e37209b22c48fde8c82851cba))
* **ssa:** More robust array deduplication check ([#5547](https://github.com/noir-lang/noir/issues/5547)) ([dd89b90](https://github.com/noir-lang/noir/commit/dd89b900dfabbea889f6f181aa562e73a87215b7))
* Switch verify proof to arrays ([#5664](https://github.com/noir-lang/noir/issues/5664)) ([c1ed9fb](https://github.com/noir-lang/noir/commit/c1ed9fb3f6e6778b519685fe218178b52c12076f))
* Type_of for pointer types ([#5536](https://github.com/noir-lang/noir/issues/5536)) ([edb3810](https://github.com/noir-lang/noir/commit/edb3810c6863e3c7802fcaece82eb6de21ebd71f))
* Workaround from_slice with nested slices ([#5648](https://github.com/noir-lang/noir/issues/5648)) ([6310a55](https://github.com/noir-lang/noir/commit/6310a55163ba3ce84e50a6df68d8963cd5222bd9))

## [0.32.0](https://github.com/noir-lang/noir/compare/v0.31.0...v0.32.0) (2024-07-18)


Expand Down
58 changes: 29 additions & 29 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading