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.17"
".": "1.0.0-beta.18"
}
53 changes: 53 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,58 @@
# Changelog

## [1.0.0-beta.18](https://github.com/noir-lang/noir/compare/v1.0.0-beta.17...v1.0.0-beta.18) (2026-01-06)


### Features

* **frontend:** Skip comptime evaluation on elaboration failure ([#10741](https://github.com/noir-lang/noir/issues/10741)) ([b784048](https://github.com/noir-lang/noir/commit/b78404829adef044a34d641e9a751fef342ac15b))
* Improved error message when if is missing its condition ([#11037](https://github.com/noir-lang/noir/issues/11037)) ([abfee1f](https://github.com/noir-lang/noir/commit/abfee1f54b20984172ba23482f4af160395cfba5))
* Panic message can be str or fmtstr ([#10004](https://github.com/noir-lang/noir/issues/10004)) ([dbdfe6f](https://github.com/noir-lang/noir/commit/dbdfe6f0890970cad2aad6e58228a1899c833adc))


### Bug Fixes

* **acir:** Always increment the dynaimc slice length during push back ([#10940](https://github.com/noir-lang/noir/issues/10940)) ([ab4978f](https://github.com/noir-lang/noir/commit/ab4978fbf5afa244acc65647ef6fcfd1080c73eb))

Check warning on line 15 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (dynaimc)
* **acir:** Grow element type sizes array on slice ops ([#10951](https://github.com/noir-lang/noir/issues/10951)) ([181f3c2](https://github.com/noir-lang/noir/commit/181f3c26b24aa65e2d2b121a16007a547ddde134))
* **acir:** Read slices with their type ([#10939](https://github.com/noir-lang/noir/issues/10939)) ([240a4d5](https://github.com/noir-lang/noir/commit/240a4d5204ac77f85bca27a5cf7065c90efce0ca))
* Add missing "cannot" in error message ([#10937](https://github.com/noir-lang/noir/issues/10937)) ([e2cdc0b](https://github.com/noir-lang/noir/commit/e2cdc0b725ea1f5fa882fedfb91f6646453dbfa3))
* Address race condition in parallel noir_js build ([#11028](https://github.com/noir-lang/noir/issues/11028)) ([d08a41c](https://github.com/noir-lang/noir/commit/d08a41c82a2eca4cfd5facb197c851ac808343a1))
* Avoid wrapping around for capacity ([#11042](https://github.com/noir-lang/noir/issues/11042)) ([5d72c67](https://github.com/noir-lang/noir/commit/5d72c67e346c7e92ecc284cb6370631ef3005cc9))
* Check duplicate name across types and constants ([#10906](https://github.com/noir-lang/noir/issues/10906)) ([c72a05e](https://github.com/noir-lang/noir/commit/c72a05e23ad8f393d257869afed30791f151fc25))
* Comptime fmtstr display ([#11074](https://github.com/noir-lang/noir/issues/11074)) ([35ae96c](https://github.com/noir-lang/noir/commit/35ae96c94eca403845d3d3b840569211df76bc05))
* **comptime:** Lower fmtstr to fmtstr, not str ([#11002](https://github.com/noir-lang/noir/issues/11002)) ([177e05f](https://github.com/noir-lang/noir/commit/177e05f2445eec0b2704ce5b979761bc192cadb9))
* Correct type bindings when invoking closure in comptime interpreter ([#10672](https://github.com/noir-lang/noir/issues/10672)) ([8d757a3](https://github.com/noir-lang/noir/commit/8d757a3d333aabfa754e763e6dda8117b4000c25))
* Defining an impl on a type alias ([#11068](https://github.com/noir-lang/noir/issues/11068)) ([3abfbf8](https://github.com/noir-lang/noir/commit/3abfbf8bbc9a6dafb335fda2200c69ab1705bf70))
* Do not bind unification ([#10919](https://github.com/noir-lang/noir/issues/10919)) ([1ad815e](https://github.com/noir-lang/noir/commit/1ad815e8d37d8bd8ff99ebd9803c8d966698c6e5))
* Do not mark witness as equivalent to a constant ([#11072](https://github.com/noir-lang/noir/issues/11072)) ([e91e684](https://github.com/noir-lang/noir/commit/e91e68446df6d9819b14d81126cba6c5bdb26213))
* Don't allow unknown witnesses in CircuitSimulator write op ([#11077](https://github.com/noir-lang/noir/issues/11077)) ([078c746](https://github.com/noir-lang/noir/commit/078c7463a3a7a69d56f24fd39a42af19b863c958))
* Don't assume default entry exists ([#9330](https://github.com/noir-lang/noir/issues/9330)) ([d8c37ea](https://github.com/noir-lang/noir/commit/d8c37eaaf0c5287abf33c3293b462bc8aa147f51))
* **elaborator:** Filter skipped interpreter error when calling macro arguments ([#11019](https://github.com/noir-lang/noir/issues/11019)) ([f9553b6](https://github.com/noir-lang/noir/commit/f9553b6232dc48aa22a550077879ea477e206ce4))
* Error if trait impl associated type is missing its body ([#11076](https://github.com/noir-lang/noir/issues/11076)) ([9fca3a7](https://github.com/noir-lang/noir/commit/9fca3a78e5b6304a488c2b837bdc97306bb89ab8))
* Error on returning unit type in empty array ([#10844](https://github.com/noir-lang/noir/issues/10844)) ([d201d96](https://github.com/noir-lang/noir/commit/d201d960f888268751eaa9fb5b3e338b4a455f03))
* **examples:** Fails CI when any of `just examples` errors out ([#10956](https://github.com/noir-lang/noir/issues/10956)) ([dff029d](https://github.com/noir-lang/noir/commit/dff029ddba970efe9e1b3ad06c8261aaf52a18e2))
* **examples:** Fix the `browser` example ([#10966](https://github.com/noir-lang/noir/issues/10966)) ([366fa46](https://github.com/noir-lang/noir/commit/366fa46a17d5b4f050f8a51c4110e41ef15bb5c2))
* **examples:** Update the `recursion` example to use `bb` version `3.0.0-nightly.20251104` ([#10964](https://github.com/noir-lang/noir/issues/10964)) ([d8bb035](https://github.com/noir-lang/noir/commit/d8bb0355d184c940f90af179d52f14fdf9ae80d7))
* **examples:** Update the `solidity_verifier` example ([#10965](https://github.com/noir-lang/noir/issues/10965)) ([dc21601](https://github.com/noir-lang/noir/commit/dc2160106f49f8a4e0be75d581b9fcd03e1c58da))
* Find associated types via their name ([#10920](https://github.com/noir-lang/noir/issues/10920)) ([f1d6f56](https://github.com/noir-lang/noir/commit/f1d6f5601135f38c5b76ebb6b4c438a01c314c8a))
* **fmt:** Handle negative literals in turbofish ([#11015](https://github.com/noir-lang/noir/issues/11015)) ([1c73ac0](https://github.com/noir-lang/noir/commit/1c73ac05439f4f0a072991a04f58aaec175d9312))
* Fold attribute unit parameter error ([#11073](https://github.com/noir-lang/noir/issues/11073)) ([32f513f](https://github.com/noir-lang/noir/commit/32f513fc50fe50c3d3dbfdf21aa62c6eab687d57))
* **fuzzer:** Add the "in" keyword to `make_name` ([#10957](https://github.com/noir-lang/noir/issues/10957)) ([be15de4](https://github.com/noir-lang/noir/commit/be15de4b4cc2f66e3e5b44af7e1f9af7a2f85044))
* **LSP:** Show fn env and omit unit return type in inlay hints ([#10566](https://github.com/noir-lang/noir/issues/10566)) ([dbc5585](https://github.com/noir-lang/noir/commit/dbc5585cf317e7ef71d05506043663383e89ec88))
* Maximum recursion depth for the parser ([#10955](https://github.com/noir-lang/noir/issues/10955)) ([0bf7626](https://github.com/noir-lang/noir/commit/0bf762690b7d58296976ae05a0beaf5b9eb3ddde))
* **mem2reg:** Array set value aliases across blocks ([#11036](https://github.com/noir-lang/noir/issues/11036)) ([e6e5616](https://github.com/noir-lang/noir/commit/e6e56167903682f6a16dc0ce420bb422ce8804e9))
* **mem2reg:** Loop carried aliases ([#11018](https://github.com/noir-lang/noir/issues/11018)) ([4c79b1c](https://github.com/noir-lang/noir/commit/4c79b1c42e65ba08ffb750941ed235bbf71f5795))
* Reference aliases in if_else arrays ([#10902](https://github.com/noir-lang/noir/issues/10902)) ([436f025](https://github.com/noir-lang/noir/commit/436f025532e0bb85c8aca8aee8857b473cd02388))
* Restore the previous state in case of error ([#10954](https://github.com/noir-lang/noir/issues/10954)) ([2039605](https://github.com/noir-lang/noir/commit/2039605281a19d67ec14caad5f39ebb51d8bfe1d))
* Skip release-end job when release PR isn't updated ([#11031](https://github.com/noir-lang/noir/issues/11031)) ([0a365c8](https://github.com/noir-lang/noir/commit/0a365c89fc601cf1fb2faf2ef1db0de0a517ec3c))
* **ssa:** Insert `enable_side_effects` before `Constrain` ([#10936](https://github.com/noir-lang/noir/issues/10936)) ([5470218](https://github.com/noir-lang/noir/commit/547021879aadc09caf0a20a506b250900a0f4810))
* **ssa:** Override the vector capacity if we have already determined a constant length ([#10963](https://github.com/noir-lang/noir/issues/10963)) ([4566208](https://github.com/noir-lang/noir/commit/4566208cf96799a13bd2aeac5a74b6c2a2272d62))
* **ssa:** Pop elements from input slice for slice pop back simplification ([#10941](https://github.com/noir-lang/noir/issues/10941)) ([e28ef53](https://github.com/noir-lang/noir/commit/e28ef5330e3d4e0e9bd26b7e813df2c2bf1cfaee))
* **SSA:** Validate that enable_side_effects takes a u1 ([#11001](https://github.com/noir-lang/noir/issues/11001)) ([40847e0](https://github.com/noir-lang/noir/commit/40847e0b83c68be37fe9f27bb5391a9990c3f5a6))
* Transform into constrain_not_equal outside enable_side_effects ([#10935](https://github.com/noir-lang/noir/issues/10935)) ([417d667](https://github.com/noir-lang/noir/commit/417d66755679e8a563138b6cbcdc88b27f1c5740))
* Type alias of unit return type of main function ([#11038](https://github.com/noir-lang/noir/issues/11038)) ([2f1315f](https://github.com/noir-lang/noir/commit/2f1315f4835d25a0a383e79ea4fd890a63449077))
* Update values on all blocks during constant folding ([#10952](https://github.com/noir-lang/noir/issues/10952)) ([c44eebd](https://github.com/noir-lang/noir/commit/c44eebd91da2b4ee3fa35ca527b862ab36ddae3e))

## [1.0.0-beta.17](https://github.com/noir-lang/noir/compare/v1.0.0-beta.16...v1.0.0-beta.17) (2025-12-15)


Expand All @@ -24,7 +77,7 @@
* Apply_range_constraint off-by-one error ([#10692](https://github.com/noir-lang/noir/issues/10692)) ([2c47c5a](https://github.com/noir-lang/noir/commit/2c47c5ab47c230cfa186c2eb27383cc8f5b533ce))
* Avoid possible overflow during truncation ([#10841](https://github.com/noir-lang/noir/issues/10841)) ([9a5ea6f](https://github.com/noir-lang/noir/commit/9a5ea6f3cae79e2a0b83082b93462d28fce61151))
* **brillig:** Fix lookup for the back-edge ([#10816](https://github.com/noir-lang/noir/issues/10816)) ([6e73ab4](https://github.com/noir-lang/noir/commit/6e73ab4a06152778d91f3cbfd17acfdf9ca851c6))
* Capture variables in lamdba by copy ([#10683](https://github.com/noir-lang/noir/issues/10683)) ([bc40e89](https://github.com/noir-lang/noir/commit/bc40e892bdc179077cb08a30965aad8d4c2247bd))

Check warning on line 80 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Misspelled word (lamdba) Suggestions: (lambda*)
* Check types crossing boundaries during monomorphization too ([#10803](https://github.com/noir-lang/noir/issues/10803)) ([084ed53](https://github.com/noir-lang/noir/commit/084ed530b4bddd6733d03f9d965669aa9a87fae7))
* **comptime:** `zeroed` returned `U8(0)` for `u1` ([#10892](https://github.com/noir-lang/noir/issues/10892)) ([a65b988](https://github.com/noir-lang/noir/commit/a65b9886a9f90800bd6050cb02d987c09a53f032))
* Disallow no-predicates on entry points ([#10847](https://github.com/noir-lang/noir/issues/10847)) ([132eaee](https://github.com/noir-lang/noir/commit/132eaee4af4a0b589ce52be093c36702f35e07e0))
Expand Down Expand Up @@ -185,7 +238,7 @@

### ⚠ BREAKING CHANGES

* several ACIR serialisation changes ([#8134](https://github.com/noir-lang/noir/issues/8134))

Check warning on line 241 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (serialisation)

### Features

Expand All @@ -212,7 +265,7 @@
* Remove generic length from ECDSA message hash in stdlib ([#10043](https://github.com/noir-lang/noir/issues/10043)) ([5bbec69](https://github.com/noir-lang/noir/commit/5bbec696bd059053af69b6c01180e6a8d380ae8c))
* Signed division by -1 can overflow ([#9976](https://github.com/noir-lang/noir/issues/9976)) ([8ca4af7](https://github.com/noir-lang/noir/commit/8ca4af784ce805900a8d5472830c9c28e92562b8))
* **ssa:** Avoid going through `i128` when casting signed to `u128` ([#10045](https://github.com/noir-lang/noir/issues/10045)) ([94dadc7](https://github.com/noir-lang/noir/commit/94dadc7effd29309dd2d8a5af345e694a5a5f741))
* **ssa:** Handle OOB indexing of slice literals in `remove_unreachalbe_instructions` ([#9999](https://github.com/noir-lang/noir/issues/9999)) ([88bf540](https://github.com/noir-lang/noir/commit/88bf5402b734dfdb1d6315fe181c0a9770144ff9))

Check warning on line 268 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (unreachalbe)
* **ssa:** Handle partially removed `ArrayGet` groups of complex type during OOB checks ([#10027](https://github.com/noir-lang/noir/issues/10027)) ([39f193c](https://github.com/noir-lang/noir/commit/39f193cf14d97b200611dd6f6c9dac42f52b0b63))
* **ssa:** Keep defaults for values returned in the databus ([#10042](https://github.com/noir-lang/noir/issues/10042)) ([348d92c](https://github.com/noir-lang/noir/commit/348d92c2fcd1a847e9abcc0dc6cbfd6f7caa1ee0))
* **ssa:** SSA interpreter to return 0 for `Intrinsic::*RefCount` when constrained ([#10033](https://github.com/noir-lang/noir/issues/10033)) ([6a55e2d](https://github.com/noir-lang/noir/commit/6a55e2d2a9c0cf294054c120134c4ef4671aecbb))
Expand All @@ -224,7 +277,7 @@

### Miscellaneous Chores

* Several ACIR serialisation changes ([#8134](https://github.com/noir-lang/noir/issues/8134)) ([05a61db](https://github.com/noir-lang/noir/commit/05a61db551b445ac824fb6319cefcd7ece96b6b7))

Check warning on line 280 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (serialisation)

## [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)

Expand Down Expand Up @@ -345,7 +398,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))

Check warning on line 401 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (bitshifts)

Check warning on line 401 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (behaviour)
* 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 @@ -400,7 +453,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))

Check warning on line 456 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Misspelled word (Perserve) Suggestions: (preserve*)
* 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 @@ -521,7 +574,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))

Check warning on line 577 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (indetnation)
* **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 @@ -571,7 +624,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))

Check warning on line 627 in CHANGELOG.md

View workflow job for this annotation

GitHub Actions / Code

Unknown word (euclidian)
* 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
Loading