Skip to content
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
2 changes: 1 addition & 1 deletion .release-please-manifest.json
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
{
".": "1.0.0-beta.12"
".": "1.0.0-beta.13"
}
47 changes: 47 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,52 @@
# Changelog

## [1.0.0-beta.13](https://github.com/noir-lang/noir/compare/v1.0.0-beta.12...v1.0.0-beta.13) (2025-09-19)


### Features

* Allow initializing dynamic arrays ([#9899](https://github.com/noir-lang/noir/issues/9899)) ([5e17b9b](https://github.com/noir-lang/noir/commit/5e17b9b328149268c29a4a6f35414c87f755a7c3))
* Better check_u128_mul_overflow logic when an operand is constant ([#9835](https://github.com/noir-lang/noir/issues/9835)) ([d60ba5c](https://github.com/noir-lang/noir/commit/d60ba5c4241784987841fe71826064d11c0ff1ba))
* **die:** Prune unused entry block parameters for non-entry points ([#9843](https://github.com/noir-lang/noir/issues/9843)) ([ad3c329](https://github.com/noir-lang/noir/commit/ad3c3297a59a26d2062257d7f2cf9c79a3e06aa2))
* **fuzz:** Allow index OOB with a small probability ([#9803](https://github.com/noir-lang/noir/issues/9803)) ([1578b7c](https://github.com/noir-lang/noir/commit/1578b7c34c5b0da131cb1e5493e3c4d6f51f5e24))
* **fuzz:** Generate calls to `slice_remove` and `slice_insert` in the AST fuzzer ([#9786](https://github.com/noir-lang/noir/issues/9786)) ([23c3627](https://github.com/noir-lang/noir/commit/23c362721dea5ec275d534fad0c23ddf76db2955))
* LSP lightweight mode ([#9869](https://github.com/noir-lang/noir/issues/9869)) ([0adabdf](https://github.com/noir-lang/noir/commit/0adabdfcaa35f314a363c378ef7c7868957f3621))
* **LSP:** Folding ranges ([#9854](https://github.com/noir-lang/noir/issues/9854)) ([66faaed](https://github.com/noir-lang/noir/commit/66faaed23dba3b9e2f0c10b0929402aced1c81de))
* **LSP:** Signature help for macro attributes ([#9536](https://github.com/noir-lang/noir/issues/9536)) ([a8512f4](https://github.com/noir-lang/noir/commit/a8512f48cdcdd2fcf53a71cf8768620ce8268094))
* **ownership:** Do not clone indexed call results containing arrays ([#9791](https://github.com/noir-lang/noir/issues/9791)) ([1b5e1de](https://github.com/noir-lang/noir/commit/1b5e1de2e7c3d46945bb6747eba4e44342bd6b4e))
* **ownership:** Do not clone nested Index expressions ([#9772](https://github.com/noir-lang/noir/issues/9772)) ([e7252a2](https://github.com/noir-lang/noir/commit/e7252a2c49751cac5a79fcde1b7ef45ea92097dc))
* Re-enable early mem2reg pass ([#9744](https://github.com/noir-lang/noir/issues/9744)) ([b245272](https://github.com/noir-lang/noir/commit/b2452725d8a6778bd9e9617c7e80d1c502ec397a))
* Remove useless jump when branching in brillig ([#9778](https://github.com/noir-lang/noir/issues/9778)) ([e13939e](https://github.com/noir-lang/noir/commit/e13939ef56abc7a0c0eccbfc058e76f817abb45e))
* Reverse loop condition in brillig to avoid NOT instruction ([#9779](https://github.com/noir-lang/noir/issues/9779)) ([113b853](https://github.com/noir-lang/noir/commit/113b853847ffab3e126afaa23b5107dd9792d795))
* **ssa:** SSA CLI ([#9826](https://github.com/noir-lang/noir/issues/9826)) ([e6260d7](https://github.com/noir-lang/noir/commit/e6260d7b76ea148e5f7e50f7ffcc7a6b7a6be8d1))


### Bug Fixes

* **acir_gen:** Fix entry point indices ([#9881](https://github.com/noir-lang/noir/issues/9881)) ([8bc8c10](https://github.com/noir-lang/noir/commit/8bc8c101fad9fa56881eb46648429da984a395c5))
* **acir_gen:** Handle flattening of numeric types when an `Array` contains a `DynamicArray` ([#9887](https://github.com/noir-lang/noir/issues/9887)) ([5524470](https://github.com/noir-lang/noir/commit/5524470351b946d21d5b21609c2bb25c0f994eaa))
* Check for signed division overflow ([#9857](https://github.com/noir-lang/noir/issues/9857)) ([72c5842](https://github.com/noir-lang/noir/commit/72c5842a449b93a1cd2959d2fa0bccd4a62e2c5b))
* Disallow `_` in where clauses, and disallow unused trait impl generics ([#9871](https://github.com/noir-lang/noir/issues/9871)) ([0eead18](https://github.com/noir-lang/noir/commit/0eead18ffe3373b74853cd06bacc12b4d9ff42f8))
* Do not simplify constraints with induction variable ([#9806](https://github.com/noir-lang/noir/issues/9806)) ([860661b](https://github.com/noir-lang/noir/commit/860661b88a2d4d8ad1388dafe98681824451a13c))
* **docs:** Moves docs to correct path for sharing domain with landing ([#9687](https://github.com/noir-lang/noir/issues/9687)) ([04ac97f](https://github.com/noir-lang/noir/commit/04ac97f1593a6896b5c86e4bc96c8efcebbde9bc))
* Error on boolean shift overflow in interpreter ([#9724](https://github.com/noir-lang/noir/issues/9724)) ([387b9b2](https://github.com/noir-lang/noir/commit/387b9b20fed02cd4f06921e4315f0e7d056d92ff))
* Error on returning slice from main ([#9636](https://github.com/noir-lang/noir/issues/9636)) ([13fbc6f](https://github.com/noir-lang/noir/commit/13fbc6f8f6c01887646120a8797c9dbfe71a0dab))
* **fmt:** Missing skip whitespace when formatting match ([#9905](https://github.com/noir-lang/noir/issues/9905)) ([e4da6d7](https://github.com/noir-lang/noir/commit/e4da6d725077d4a34244c74b2301c045cb2e7e28))
* **fuzz:** Always introduce a local binding before match ([#9883](https://github.com/noir-lang/noir/issues/9883)) ([69570b7](https://github.com/noir-lang/noir/commit/69570b72c5f351cdd129551478c6236daa1aad0f))
* **fuzz:** Avoid OOB when `in_no_dynamic` mode ([#9858](https://github.com/noir-lang/noir/issues/9858)) ([cff071f](https://github.com/noir-lang/noir/commit/cff071f622addc873475b2697dd50894df3b1bbe))
* **fuzz:** Install `just` in nightly fuzz workflow ([#9756](https://github.com/noir-lang/noir/issues/9756)) ([2ce164e](https://github.com/noir-lang/noir/commit/2ce164ea961d627e6ad821d7722006527a707d32))
* Left bit shift u128 would overflow Field ([#9723](https://github.com/noir-lang/noir/issues/9723)) ([216737d](https://github.com/noir-lang/noir/commit/216737dd6dd0cb4e0f4c2c4a0c1c872e30dbb0fe))
* **mem2reg:** Do not attempt to analyze an instruction simplified to a global ([#9882](https://github.com/noir-lang/noir/issues/9882)) ([a2ec2e5](https://github.com/noir-lang/noir/commit/a2ec2e5ac84afbb95f8ddf9ca6695d83eb2f574a))
* **mem2reg:** Handle instruction simplified to multiple ([#9782](https://github.com/noir-lang/noir/issues/9782)) ([b975d9b](https://github.com/noir-lang/noir/commit/b975d9b4c799a481c4f1279b143f82e1994c862a))
* **ownership:** Consider ident in nested l-value as used ([#9793](https://github.com/noir-lang/noir/issues/9793)) ([574550b](https://github.com/noir-lang/noir/commit/574550bbc3640b78545985e013706ffcfe637e8e))
* Proper error when dividing by minus 1 ([#9762](https://github.com/noir-lang/noir/issues/9762)) ([8cfbdb9](https://github.com/noir-lang/noir/commit/8cfbdb9d2cbe21faa883271d3259c726db275ad5))
* **ssa:** Accurate purities of ArraySet and RC instructions in Brillig ([#9736](https://github.com/noir-lang/noir/issues/9736)) ([a010e93](https://github.com/noir-lang/noir/commit/a010e93594349e9d96a2025c8582a86aea560e6a))
* **ssa:** Do not hoist unsafe `array_get` in Brillig ([#9805](https://github.com/noir-lang/noir/issues/9805)) ([f25ebd6](https://github.com/noir-lang/noir/commit/f25ebd61019e7aa44ac974a5827c7e9a3496128d))
* **ssa:** Mark whether an ArrayGet requires a predicate based upon the runtime ([#9712](https://github.com/noir-lang/noir/issues/9712)) ([5e27664](https://github.com/noir-lang/noir/commit/5e276642b138346845d42323992a9445eb2255f9))
* **ssa:** Replace failing array access with constraint and defaults ([#9776](https://github.com/noir-lang/noir/issues/9776)) ([0284d29](https://github.com/noir-lang/noir/commit/0284d29d3c1798cd9ade7da9be99e2062a330db7))
* **ssa:** Simplify always-fail range constraint ([#9885](https://github.com/noir-lang/noir/issues/9885)) ([f86ba42](https://github.com/noir-lang/noir/commit/f86ba42b2786734e32965a3aef2b494bd2f387a9))
* Wrong error message in brillig bit shift overflow ([#9702](https://github.com/noir-lang/noir/issues/9702)) ([e9f2016](https://github.com/noir-lang/noir/commit/e9f2016045837187259dcbd92fad83801d5e592d))

## [1.0.0-beta.12](https://github.com/noir-lang/noir/compare/v1.0.0-beta.11...v1.0.0-beta.12) (2025-08-29)


Expand Down Expand Up @@ -72,7 +119,7 @@
* Mark slice variants of ecdsa verification as deprecated ([#9458](https://github.com/noir-lang/noir/issues/9458)) ([5675aff](https://github.com/noir-lang/noir/commit/5675aff45f460f6975492725953b45b8a969a82d))
* New semantic for bit-shifts ([#9373](https://github.com/noir-lang/noir/issues/9373)) ([f6fed8b](https://github.com/noir-lang/noir/commit/f6fed8bd0154c937f11dfbd4a27bc893b9d3f5e9))
* **opt:** Don't clone on array_len ([#9440](https://github.com/noir-lang/noir/issues/9440)) ([b7273d7](https://github.com/noir-lang/noir/commit/b7273d7a31f8e0cdc2d086e30ac3fede1f0ed46c))
* Remove saturating behaviour of signed bitshifts in brillig ([#9532](https://github.com/noir-lang/noir/issues/9532)) ([103f70a](https://github.com/noir-lang/noir/commit/103f70a5dac594374b68f54c82da0423d1415d74))
* Simplify bitshift logic to remove leftover overflow handling ([#9506](https://github.com/noir-lang/noir/issues/9506)) ([9062697](https://github.com/noir-lang/noir/commit/9062697bbcefced22184c43998c1f966543e2b6b))
* **ssa_fuzzer:** Hash blackbox functions ([#9479](https://github.com/noir-lang/noir/issues/9479)) ([4c65b51](https://github.com/noir-lang/noir/commit/4c65b51266446b79cecd74335e4816951261f496))
* **ssa_fuzzer:** Mode without instruction simplification + array instructions mutations + limits fix ([#9438](https://github.com/noir-lang/noir/issues/9438)) ([ea9c913](https://github.com/noir-lang/noir/commit/ea9c9130e367a35d1f0eda03d995ce139b469481))
Expand Down Expand Up @@ -127,7 +174,7 @@
* **mem2reg:** Register aliases when the `IfElse` result in a reference ([#9305](https://github.com/noir-lang/noir/issues/9305)) ([637e060](https://github.com/noir-lang/noir/commit/637e0601aa5dc0baa29934783e6ff7fdf8e24133))
* Modulo overflow in comptime ([#9348](https://github.com/noir-lang/noir/issues/9348)) ([922efbd](https://github.com/noir-lang/noir/commit/922efbdb30b35c7e93f8db829436fbe0a03ffae1))
* **ownership:** Increment reference count for nested array get in LHS assignment ([#9347](https://github.com/noir-lang/noir/issues/9347)) ([20c37b2](https://github.com/noir-lang/noir/commit/20c37b27e9c1f9aba064fd18cb7f254e5d10fa39))
* Perserve purities after SSA normalization ([#9355](https://github.com/noir-lang/noir/issues/9355)) ([5d6dd7e](https://github.com/noir-lang/noir/commit/5d6dd7e10dce9c47fbb1c3da822d40198bf3f118))
* Prevent `SignedField::from(i128::MIN)` from crashing ([#9366](https://github.com/noir-lang/noir/issues/9366)) ([9846e1e](https://github.com/noir-lang/noir/commit/9846e1ebd6264ae33f23195c0aa6ccff6947692f))
* Prevent accidental tuple sharing in comptime code ([#9313](https://github.com/noir-lang/noir/issues/9313)) ([28abb68](https://github.com/noir-lang/noir/commit/28abb682cf4001ab97dcafd3e9a111a281806be4))
* Prevent invalid types in test/fuzz functions ([#9343](https://github.com/noir-lang/noir/issues/9343)) ([21faf96](https://github.com/noir-lang/noir/commit/21faf9648560b0f5943304833c44a2c5687f0d48))
Expand Down Expand Up @@ -248,7 +295,7 @@
* **expand:** Missing struct member visibility, and use "crate" instead of "super" when possible ([#9081](https://github.com/noir-lang/noir/issues/9081)) ([014d793](https://github.com/noir-lang/noir/commit/014d793e625462d385f31379dc77fa3d8c231db3))
* **expand:** Show references to ModuleDefId recursing on parents ([#8977](https://github.com/noir-lang/noir/issues/8977)) ([2cfc786](https://github.com/noir-lang/noir/commit/2cfc7866b5a5e24829d4176e2aea897f72839674))
* Fix if/match tracking in last uses pass ([#8935](https://github.com/noir-lang/noir/issues/8935)) ([670063c](https://github.com/noir-lang/noir/commit/670063c66c5327685def09bfc2563fccc9e7b267))
* **formatter:** Reset indetnation after group changed it ([#8966](https://github.com/noir-lang/noir/issues/8966)) ([39cec14](https://github.com/noir-lang/noir/commit/39cec14be0a4dae7aff54a8b579535b27d58728b))
* **fuzz:** Assign to an index variable to sequence side effects ([#9056](https://github.com/noir-lang/noir/issues/9056)) ([3672e3e](https://github.com/noir-lang/noir/commit/3672e3e749035d532412d3001030f2033c51c8c1))
* **fuzz:** Avoid negating `i8::MIN` into `i8::MAX+1` which won't compile ([#8972](https://github.com/noir-lang/noir/issues/8972)) ([f1a3938](https://github.com/noir-lang/noir/commit/f1a3938e429863a211a09a7cf1837dbe1b1320f4))
* **fuzz:** Avoid overflow in `gen_unary` ([#9024](https://github.com/noir-lang/noir/issues/9024)) ([301d86e](https://github.com/noir-lang/noir/commit/301d86ead94835841e0fc14781a37c28c5afd926))
Expand Down Expand Up @@ -298,7 +345,7 @@
* **ssa:** Remove array from cache in constant folding if it's an argument to a `Call` ([#9040](https://github.com/noir-lang/noir/issues/9040)) ([17bf172](https://github.com/noir-lang/noir/commit/17bf172095ff30f7a4cf311ca947f6eec157e98f))
* **ssa:** Signed cast simplification ([#8862](https://github.com/noir-lang/noir/issues/8862)) ([bcfb293](https://github.com/noir-lang/noir/commit/bcfb293510273b3019ab36c02db4284a5eac99e2))
* **ssa:** Swap Brillig index shift and DIE in minimal pipeline ([#8946](https://github.com/noir-lang/noir/issues/8946)) ([b891901](https://github.com/noir-lang/noir/commit/b891901edd36574c6e6817d1f6ca182a93830739))
* Strange use of predicates in euclidian division ([#8934](https://github.com/noir-lang/noir/issues/8934)) ([b2c38af](https://github.com/noir-lang/noir/commit/b2c38af614e58554625886218ed8325b33a0590c))
* Track trait associated types as such ([#9170](https://github.com/noir-lang/noir/issues/9170)) ([692e94c](https://github.com/noir-lang/noir/commit/692e94cbab199cd249d4b9d3016398be34402b07))
* Use enable_side_effects for u128 multiplication overflow checks ([#9115](https://github.com/noir-lang/noir/issues/9115)) ([3beb8f5](https://github.com/noir-lang/noir/commit/3beb8f5456df2ecc9dbf6a415ba47663fa100dfc))
* Validate SSA call return values ([#9129](https://github.com/noir-lang/noir/issues/9129)) ([dbee137](https://github.com/noir-lang/noir/commit/dbee13703c70ddb0720499146abd3b4bb8cc624e))
Expand Down Expand Up @@ -355,7 +402,7 @@
* Accept and return visibilities for StructDef ([#8420](https://github.com/noir-lang/noir/issues/8420)) ([cafcdcd](https://github.com/noir-lang/noir/commit/cafcdcd8d6250936bc089679838485bbd138fe35))
* Add missing cases for finding function values in `find_functions_as_values` ([#8738](https://github.com/noir-lang/noir/issues/8738)) ([81d2ad6](https://github.com/noir-lang/noir/commit/81d2ad6adc93b28df107330d536eacbf74562537))
* Add offset to ArrayGet ([#8536](https://github.com/noir-lang/noir/issues/8536)) ([da0b3a2](https://github.com/noir-lang/noir/commit/da0b3a2e722f3bd0ff42f67d221088b5c8f60ea4))
* Always error if integer literal doesn't fit its type on the fron… ([#8885](https://github.com/noir-lang/noir/issues/8885)) ([f34d5c2](https://github.com/noir-lang/noir/commit/f34d5c25fe7ce51d8d1f13cc9fbb764c7dfe23fd))
* Always use `u32` for indexing arrays in SSA ([#8633](https://github.com/noir-lang/noir/issues/8633)) ([a16e848](https://github.com/noir-lang/noir/commit/a16e84853e2bc20a3756509cf40b3bcd1faad8f1))
* Avoid logging all unused params in DIE pass ([#8566](https://github.com/noir-lang/noir/issues/8566)) ([9a8a7ec](https://github.com/noir-lang/noir/commit/9a8a7ec4df8d0a465ae583d8d64ece254e39dca5))
* Better error message when cannot infer generic numeric type ([#7843](https://github.com/noir-lang/noir/issues/7843)) ([72ce94b](https://github.com/noir-lang/noir/commit/72ce94beeac6d15b67141307bc38f9e2b0020b20))
Expand All @@ -381,7 +428,7 @@
* Ensure that purity analysis pass explores all functions ([#8452](https://github.com/noir-lang/noir/issues/8452)) ([8f660a3](https://github.com/noir-lang/noir/commit/8f660a3a6c8b1e48b9e988d181a65df44e0bc715))
* Error on unused generic in trait impl ([#8395](https://github.com/noir-lang/noir/issues/8395)) ([d992ad5](https://github.com/noir-lang/noir/commit/d992ad59d4c787aa12b0176e6f9d12202e4d9f71))
* Error when re-assigning a mutable reference ([#8790](https://github.com/noir-lang/noir/issues/8790)) ([b888c34](https://github.com/noir-lang/noir/commit/b888c34b2b28e4c58b38f584b48a0adc154594e3))
* **expand:** Use re-exports for non-visibile items ([#8374](https://github.com/noir-lang/noir/issues/8374)) ([275e438](https://github.com/noir-lang/noir/commit/275e438feaa5d610e21d2e683c3f3cd61b72ebff))
* Fix comptime casts of negative integer to field ([#8696](https://github.com/noir-lang/noir/issues/8696)) ([4f8e767](https://github.com/noir-lang/noir/commit/4f8e76776575be2ed8ab1939bb2c736332b25d45))
* **fmt:** Correct indentation when formatting long struct patterns ([#8711](https://github.com/noir-lang/noir/issues/8711)) ([8665abe](https://github.com/noir-lang/noir/commit/8665abe6694c8641fb0e999c9b5d420290f5bbec))
* **fmt:** Correctly format mixed secondary attributes and doc comments ([#8735](https://github.com/noir-lang/noir/issues/8735)) ([cb4951d](https://github.com/noir-lang/noir/commit/cb4951d3249ab7f4f97dddc21595cfa933b08d72))
Expand Down Expand Up @@ -420,7 +467,7 @@
* **ssa:** Validate field to integer cast ([#8799](https://github.com/noir-lang/noir/issues/8799)) ([229d57b](https://github.com/noir-lang/noir/commit/229d57ba59d1f1f94d2ce0b93d267abb1227ac38))
* Stop inserting instructions after break and continue ([#8712](https://github.com/noir-lang/noir/issues/8712)) ([86b3638](https://github.com/noir-lang/noir/commit/86b363844b4c4c6258fba3377b801e36eb714d3f))
* Support recursive call to main function in SSA parser ([#8760](https://github.com/noir-lang/noir/issues/8760)) ([77a53e4](https://github.com/noir-lang/noir/commit/77a53e45c0c253d216e80cbfba3414bc90b60851))
* Thread errors through remove_if_else instead of panicing when the value merger finds reference values ([#8783](https://github.com/noir-lang/noir/issues/8783)) ([c4a8746](https://github.com/noir-lang/noir/commit/c4a8746921bc5fd6fef8e6bdce6563ae8817b8c4))
* Type unification tests, and try moving constants to the other side ([#8807](https://github.com/noir-lang/noir/issues/8807)) ([5641060](https://github.com/noir-lang/noir/commit/56410604d4be68bab90ee59ea1af4e808cb19072))
* Unify infix expressions by isolating unbound type variables ([#8796](https://github.com/noir-lang/noir/issues/8796)) ([52b2c32](https://github.com/noir-lang/noir/commit/52b2c32cc22da53c0d98d2833aaa37a4040d6222))
* Update external lib commit tdd.nr ([#8823](https://github.com/noir-lang/noir/issues/8823)) ([6f1b46f](https://github.com/noir-lang/noir/commit/6f1b46f33e965b1eaec6ad7d430b5d2beb427f70))
Expand Down Expand Up @@ -506,11 +553,11 @@
* Let static_assert accept any type for its message ([#8322](https://github.com/noir-lang/noir/issues/8322)) ([cc3fa6f](https://github.com/noir-lang/noir/commit/cc3fa6fbed97f054d84f9fdbfaee3305afc1f15d))
* Location tree for debug_info ([#7034](https://github.com/noir-lang/noir/issues/7034)) ([ae008d3](https://github.com/noir-lang/noir/commit/ae008d31e289ddb086b4c69e3fd287c5167fc4dc))
* **LSP:** Workspace Symbol ([#7953](https://github.com/noir-lang/noir/issues/7953)) ([a634ca0](https://github.com/noir-lang/noir/commit/a634ca0111981fc117293c33f595b57ff88bc700))
* MessagePack serialisation for circuits ([#7690](https://github.com/noir-lang/noir/issues/7690)) ([69c36dc](https://github.com/noir-lang/noir/commit/69c36dc452ecd17636e4d35797a65430c32a5a10))
* Metamorphic AST fuzzing ([#8299](https://github.com/noir-lang/noir/issues/8299)) ([86e61f0](https://github.com/noir-lang/noir/commit/86e61f0290a99015c7987eec77b3ebadf0bd5aaf))
* Omit element size array for more array types ([#8257](https://github.com/noir-lang/noir/issues/8257)) ([b101f73](https://github.com/noir-lang/noir/commit/b101f73c1d1a32e70996770201c4c57985f88134))
* Optimize `checked_to_unchecked` to take into account multiplications ([#8188](https://github.com/noir-lang/noir/issues/8188)) ([b411121](https://github.com/noir-lang/noir/commit/b41112159d86863fc4d582ffd461a018639e2de5))
* **perf:** Optimise array index checks in loops ([#7893](https://github.com/noir-lang/noir/issues/7893)) ([e13142b](https://github.com/noir-lang/noir/commit/e13142b000d75b81d1e0e9d92236d8a040631ec9))
* Port callstack resolution from aztec to noirjs ([#7642](https://github.com/noir-lang/noir/issues/7642)) ([7fea227](https://github.com/noir-lang/noir/commit/7fea2276c7ef7d1270dabf0be3bdd08bf6858b33))
* Produce fewer memory blocks in ACIRgen ([#8250](https://github.com/noir-lang/noir/issues/8250)) ([43bbaa5](https://github.com/noir-lang/noir/commit/43bbaa59700621d0891125ab891fa10a8a63edc8))
* Remove unnecessary dynamic arrays when pushing onto slices ([#8287](https://github.com/noir-lang/noir/issues/8287)) ([9e69d4c](https://github.com/noir-lang/noir/commit/9e69d4cd6235b9183cefa84c7f1bca6ea7057c4e))
Expand Down
Loading