chore: Release Noir(1.0.0-beta.4)

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "1.0.0-beta.3"
+  ".": "1.0.0-beta.4"
 }

CHANGELOG.md

@@ -1,5 +1,53 @@
 # Changelog
 
+## [1.0.0-beta.4](https://github.com/noir-lang/noir/compare/v1.0.0-beta.3...v1.0.0-beta.4) (2025-02-28)
+
+
+### ⚠ BREAKING CHANGES
+
+* remove U128 struct from stdlib ([#7529](https://github.com/noir-lang/noir/issues/7529))
+* bump rust edition to 2024 ([#7533](https://github.com/noir-lang/noir/issues/7533))
+* bump msrv to 1.85.0 ([#7530](https://github.com/noir-lang/noir/issues/7530))
+* **cli:** Add `--unstable-features` to gate unstable features ([#7449](https://github.com/noir-lang/noir/issues/7449))
+
+### Features
+
+* Better error message when keyword is found instead of type in p… ([#7501](https://github.com/noir-lang/noir/issues/7501)) ([43ca11a](https://github.com/noir-lang/noir/commit/43ca11ab0f33eabfd590a0fad10c908a421f0792))
+* **cli:** Add `--unstable-features` to gate unstable features ([#7449](https://github.com/noir-lang/noir/issues/7449)) ([fd213f6](https://github.com/noir-lang/noir/commit/fd213f6cdfa2518c0c3b6b0bf8573296809c0b68))
+* **debugger:** REPL add breakpoint by sourcecode line ([#5204](https://github.com/noir-lang/noir/issues/5204)) ([ef51d8a](https://github.com/noir-lang/noir/commit/ef51d8a38f271dfab8fb282ddd8ee8c3a92f0aa4))
+* **experimental:** Add invalid pattern syntax error ([#7487](https://github.com/noir-lang/noir/issues/7487)) ([7aa23ec](https://github.com/noir-lang/noir/commit/7aa23ec674b2877745595b1584ade4733abeac71))
+* **experimental:** Support struct constructors in match patterns ([#7489](https://github.com/noir-lang/noir/issues/7489)) ([6f79fd1](https://github.com/noir-lang/noir/commit/6f79fd1c8617fc01e9138168c888018fe4492752))
+* Let all compiler errors carry a Location instead of a Span ([#7486](https://github.com/noir-lang/noir/issues/7486)) ([4fdc742](https://github.com/noir-lang/noir/commit/4fdc742369c4f0cda307b5b1904260133d1add64))
+* Optimize out range checks on limiting cases ([#7510](https://github.com/noir-lang/noir/issues/7510)) ([6f78848](https://github.com/noir-lang/noir/commit/6f7884838fc0fdab2a1864f0d701bccf79d3e359))
+* **performance:** Avoid extra Brillig array offsetting for constant indices  ([#7522](https://github.com/noir-lang/noir/issues/7522)) ([b8b0e73](https://github.com/noir-lang/noir/commit/b8b0e73eebb28ec0419570d30102a4550704b617))
+* Simplify simple conditionals for brillig ([#7205](https://github.com/noir-lang/noir/issues/7205)) ([9056d74](https://github.com/noir-lang/noir/commit/9056d74cb30853fbeb44cedee5cb8f20f775f005))
+* Support `<Type as Trait>::method` in expressions ([#7551](https://github.com/noir-lang/noir/issues/7551)) ([fdd2fe7](https://github.com/noir-lang/noir/commit/fdd2fe7413c0a97a0d3e04239ad4976e6b0e2979))
+* Sync from aztec-packages ([#7474](https://github.com/noir-lang/noir/issues/7474)) ([c254c3c](https://github.com/noir-lang/noir/commit/c254c3ca07c65c7845d5affb17cb37114c5a3051))
+* Test error spans and messages ([#7526](https://github.com/noir-lang/noir/issues/7526)) ([da5227e](https://github.com/noir-lang/noir/commit/da5227e8e0cbadb1adc648039b9342c482b03d2a))
+* Use resolved type instead of needing Constructor.struct_type ([#7500](https://github.com/noir-lang/noir/issues/7500)) ([e26e993](https://github.com/noir-lang/noir/commit/e26e993d09beafec1dff81014f4b350cf4289656))
+
+
+### Bug Fixes
+
+* Correctly format trait function with multiple where clauses ([#7531](https://github.com/noir-lang/noir/issues/7531)) ([c438547](https://github.com/noir-lang/noir/commit/c438547837a0ab153253d7fbdcc044313781e386))
+* Don't crash on broken impl syntax ([#7512](https://github.com/noir-lang/noir/issues/7512)) ([677c10c](https://github.com/noir-lang/noir/commit/677c10c50e6944e9e11d5579048f77cab59cf91a))
+* Don't panic when shifting too much ([#7429](https://github.com/noir-lang/noir/issues/7429)) ([5073370](https://github.com/noir-lang/noir/commit/50733708b0a7312c74229601a76f68afe1737b1d))
+* Don't use dummy location when inserting debug code ([#7482](https://github.com/noir-lang/noir/issues/7482)) ([87196fe](https://github.com/noir-lang/noir/commit/87196fe6cee097c6e948fa8c61b91ac382e13fd1))
+* **experimental:** Allow shadowing in match patterns ([#7484](https://github.com/noir-lang/noir/issues/7484)) ([8e68ce6](https://github.com/noir-lang/noir/commit/8e68ce6403e99ff5af4fb9973b203070d8a9898c))
+* **experimental:** Replace most remaining match panics with errors ([#7536](https://github.com/noir-lang/noir/issues/7536)) ([d118e17](https://github.com/noir-lang/noir/commit/d118e170a33d1307ccc1240374e22d86180216ed))
+* Fix a few cases where safety comment wasn't correctly identified ([#7548](https://github.com/noir-lang/noir/issues/7548)) ([22c7d9d](https://github.com/noir-lang/noir/commit/22c7d9d22709065ce0ad572f1aae67f995abd24c))
+* Issue duplicate error on impl function without self ([#7490](https://github.com/noir-lang/noir/issues/7490)) ([69e901f](https://github.com/noir-lang/noir/commit/69e901f8f4e8c88c9964d832f331f881b70d2d35))
+* No longer error on INT_MIN globals ([#7519](https://github.com/noir-lang/noir/issues/7519)) ([0c0c397](https://github.com/noir-lang/noir/commit/0c0c397a5a1e02fcddcddeb7cf70512de21f2ce6))
+* **performance:** Accurately mark safe constant indices for arrays of complex types ([#7491](https://github.com/noir-lang/noir/issues/7491)) ([ffcc6f8](https://github.com/noir-lang/noir/commit/ffcc6f891152a9dc89fceb33aefae935cecf6946))
+* Shift right overflow in ACIR with unknown var now returns zero ([#7509](https://github.com/noir-lang/noir/issues/7509)) ([ca21820](https://github.com/noir-lang/noir/commit/ca21820724f13b59834eb4a348c73069c5bbb70d))
+
+
+### Miscellaneous Chores
+
+* Bump msrv to 1.85.0 ([#7530](https://github.com/noir-lang/noir/issues/7530)) ([42b4ba3](https://github.com/noir-lang/noir/commit/42b4ba3fa2f1dfdb92f197bfbe25884078256ae2))
+* Bump rust edition to 2024 ([#7533](https://github.com/noir-lang/noir/issues/7533)) ([826b18a](https://github.com/noir-lang/noir/commit/826b18a10630471c19c25ab745f9bfe045813e69))
+* Remove U128 struct from stdlib ([#7529](https://github.com/noir-lang/noir/issues/7529)) ([47f4d0b](https://github.com/noir-lang/noir/commit/47f4d0b016ace62efe2b23d204d5d1e02b2ecac9))
+
 ## [1.0.0-beta.3](https://github.com/noir-lang/noir/compare/v1.0.0-beta.2...v1.0.0-beta.3) (2025-02-20)
 
 
@@ -86,7 +134,7 @@
 * `loop` statements (only frontend) ([#7092](https://github.com/noir-lang/noir/issues/7092)) ([48e613e](https://github.com/noir-lang/noir/commit/48e613ea97afb829012b3c5b1f8181d4f5ccfb7b))
 * Add `ConstrainNotEqual` instruction ([#7032](https://github.com/noir-lang/noir/issues/7032)) ([51180b9](https://github.com/noir-lang/noir/commit/51180b9c2c74d9746240a9fbc29d4214d7729f6a))
 * Add `noir-inspector` ([#7136](https://github.com/noir-lang/noir/issues/7136)) ([a0704aa](https://github.com/noir-lang/noir/commit/a0704aa53250aed9c5460a60f5aaffa87772732f))
 * Allow associated types to be ellided from trait constraints ([#7026](https://github.com/noir-lang/noir/issues/7026)) ([aa7b91c](https://github.com/noir-lang/noir/commit/aa7b91c4657f1dbdf734dfd8071c0517272092ba))
 * Allow resolved types in constructors ([#7223](https://github.com/noir-lang/noir/issues/7223)) ([6d319af](https://github.com/noir-lang/noir/commit/6d319afe651ebc6d36493604e088489787b1b612))
 * Allow specifying multiple patterns in nargo test ([#7186](https://github.com/noir-lang/noir/issues/7186)) ([bd44e40](https://github.com/noir-lang/noir/commit/bd44e40c42ff33afd7daa0abd0c4267e972bef26))
 * Auto-import traits when suggesting trait methods ([#7037](https://github.com/noir-lang/noir/issues/7037)) ([a9acf5a](https://github.com/noir-lang/noir/commit/a9acf5a2fa8a673074e623e3ebd899bd24598649))
@@ -156,11 +204,11 @@
 * Allow implicit associated types on integer type kinds ([#7078](https://github.com/noir-lang/noir/issues/7078)) ([f2a6d10](https://github.com/noir-lang/noir/commit/f2a6d1038ecb922367ffb7280c4b0781043ade02))
 * Allow multiple trait impls for the same trait as long as one is in scope ([#6987](https://github.com/noir-lang/noir/issues/6987)) ([7328f0b](https://github.com/noir-lang/noir/commit/7328f0b2a7411e7c38dae0c2bd5fa2cd04c75461))
 * Allows for infinite brillig loops ([#7296](https://github.com/noir-lang/noir/issues/7296)) ([87196e9](https://github.com/noir-lang/noir/commit/87196e9419f9c12bc7739024e2f649dcbd3e7340))
 * Always normalize ssa when priting at least one pass ([#7299](https://github.com/noir-lang/noir/issues/7299)) ([d327462](https://github.com/noir-lang/noir/commit/d3274622aecd32a105a0f494f47646bca61585bc))
 * Avoid creating unnecessary memory blocks ([#7114](https://github.com/noir-lang/noir/issues/7114)) ([521f5ce](https://github.com/noir-lang/noir/commit/521f5ce5721181e0b686887bdb47d3be1a8501a8))
 * Avoid stack overflow on many comments in a row ([#7325](https://github.com/noir-lang/noir/issues/7325)) ([ac1da8f](https://github.com/noir-lang/noir/commit/ac1da8f4b57290a67240973a7d6172cfbf5680a8))
 * Avoid type error when calling something with a type alias of a function ([#7239](https://github.com/noir-lang/noir/issues/7239)) ([429ae52](https://github.com/noir-lang/noir/commit/429ae523bbc6ab69daadcfde7dce0dc548ba69f2))
 * Bigint builtins are foreigns ([#6892](https://github.com/noir-lang/noir/issues/6892)) ([a1f9c94](https://github.com/noir-lang/noir/commit/a1f9c949825bac1068a4e00e93e95b0dbfa8b5a7))
 * **brillig:** Globals entry point reachability analysis  ([#7188](https://github.com/noir-lang/noir/issues/7188)) ([bdcfd38](https://github.com/noir-lang/noir/commit/bdcfd38e4d8c9fb9dcd4298ac263f681e470a6ce))
 * Check abi integer input is within signed range ([#7316](https://github.com/noir-lang/noir/issues/7316)) ([0d78578](https://github.com/noir-lang/noir/commit/0d78578981bfcc4aa021dcc0f0238548f6ff9ca0))
 * Consistent file_id across installation paths ([#6912](https://github.com/noir-lang/noir/issues/6912)) ([baca790](https://github.com/noir-lang/noir/commit/baca790a7241044c7a1cce1f2aab13a2c5c998a8))
@@ -325,7 +373,7 @@
 
 ### Features
 
 * Add `array_refcount` and `slice_refcount` builtins for debugging ([#6584](https://github.com/noir-lang/noir/issues/6584)) ([45eb756](https://github.com/noir-lang/noir/commit/45eb7568d56b2d254453b85f236d554232aa5df9))
 * Avoid incrementing reference counts in some cases ([#6568](https://github.com/noir-lang/noir/issues/6568)) ([01c4a9f](https://github.com/noir-lang/noir/commit/01c4a9fb62ffe2190c73f0d5b12933d2eb8f6b5d))
 * **ssa:** Loop invariant code motion ([#6563](https://github.com/noir-lang/noir/issues/6563)) ([7216f08](https://github.com/noir-lang/noir/commit/7216f0829dcece948d3243471e6d57380522e997))
 * Trait aliases ([#6431](https://github.com/noir-lang/noir/issues/6431)) ([68c32b4](https://github.com/noir-lang/noir/commit/68c32b4ffd9b069fe4b119327dbf4018c17ab9d4))
@@ -334,7 +382,7 @@
 
 ### Bug Fixes
 
 * Consider prereleases to be compatible with pre-1.0.0 releases ([#6580](https://github.com/noir-lang/noir/issues/6580)) ([013e200](https://github.com/noir-lang/noir/commit/013e2000f1d7e7346b5cac0427732d545f501444))
 * Correct type when simplifying `derive_pedersen_generators` ([#6579](https://github.com/noir-lang/noir/issues/6579)) ([efa5cc4](https://github.com/noir-lang/noir/commit/efa5cc4bf173b0ce49f47b1954165a2bdb276792))
 * Don't report visibility errors when elaborating comptime value ([#6498](https://github.com/noir-lang/noir/issues/6498)) ([3c361c9](https://github.com/noir-lang/noir/commit/3c361c9f78a5d9de1b1bcb5a839d3bc481f89898))
 * Parse a bit more SSA stuff ([#6599](https://github.com/noir-lang/noir/issues/6599)) ([0a6207d](https://github.com/noir-lang/noir/commit/0a6207dde6c744e2853905014e70d33b29b3e53b))
@@ -367,12 +415,12 @@
 * **ssa:** Unroll small loops in brillig ([#6505](https://github.com/noir-lang/noir/issues/6505)) ([5d5175e](https://github.com/noir-lang/noir/commit/5d5175e1c076bd651702b6c84a00c85bc4fea860))
 * Stop with HeapVector (https://github.com/AztecProtocol/aztec-packages/pull/9810) ([7dd71c1](https://github.com/noir-lang/noir/commit/7dd71c15cbcbf025ba049b506c94924903b32754))
 * Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/9711) ([7dd71c1](https://github.com/noir-lang/noir/commit/7dd71c15cbcbf025ba049b506c94924903b32754))
 * Use a full `BlackBoxFunctionSolver` implementation when execution brillig during acirgen ([#6481](https://github.com/noir-lang/noir/issues/6481)) ([22fc11a](https://github.com/noir-lang/noir/commit/22fc11ace31b515287f62219c0e6d6ed3d1bedd7))
 
 
 ### Bug Fixes
 
 * Allow range checks to be performed within the comptime intepreter ([#6514](https://github.com/noir-lang/noir/issues/6514)) ([852c87a](https://github.com/noir-lang/noir/commit/852c87ae9ecdd441ee4c2ab3e78e86b2da07d8a4))
 * Disallow `#[test]` on associated functions ([#6449](https://github.com/noir-lang/noir/issues/6449)) ([35408ab](https://github.com/noir-lang/noir/commit/35408ab303f1018c1e2c38e6ea55430a2c89dc4c))
 * Do a shallow follow_bindings before unification ([#6558](https://github.com/noir-lang/noir/issues/6558)) ([32a9ed9](https://github.com/noir-lang/noir/commit/32a9ed9ad19cf81275c31ca77e4970bc1598c112))
 * **docs:** Fix broken links in oracles doc ([#6488](https://github.com/noir-lang/noir/issues/6488)) ([aa37cd5](https://github.com/noir-lang/noir/commit/aa37cd5be25412919f466a938260ae1a485ee096))
@@ -407,7 +455,7 @@
 ### Bug Fixes
 
 * Check infix expression is valid in program input ([#6450](https://github.com/noir-lang/noir/issues/6450)) ([35dedb5](https://github.com/noir-lang/noir/commit/35dedb54a0853ba0fa85038d832a520f9ba01a98))
 * Discard optimisation that would change execution ordering or that is related to call outputs ([#6461](https://github.com/noir-lang/noir/issues/6461)) ([b8654f7](https://github.com/noir-lang/noir/commit/b8654f700b218cc09c5381af65df11ead9ffcdaf))
 * Don't crash on AsTraitPath with empty path ([#6454](https://github.com/noir-lang/noir/issues/6454)) ([fc72dcd](https://github.com/noir-lang/noir/commit/fc72dcdf3e8eeff73f72756e7ab87dddf2920657))
 * Fix Alias and Error kinds ([#6426](https://github.com/noir-lang/noir/issues/6426)) ([3cb259f](https://github.com/noir-lang/noir/commit/3cb259f419cf352f768728b15f849e520fc233cb))
 * Let formatter respect newlines between comments ([#6458](https://github.com/noir-lang/noir/issues/6458)) ([fb1a8ca](https://github.com/noir-lang/noir/commit/fb1a8ca67c58d87991358078e6c532b49824fdb8))

Cargo.toml

@@ -49,7 +49,7 @@ resolver = "2"
 
 [workspace.package]
 # x-release-please-start-version
-version = "1.0.0-beta.3"
+version = "1.0.0-beta.4"
 # x-release-please-end
 authors = ["The Noir Team <[email protected]>"]
 edition = "2024"
@@ -66,13 +66,13 @@ unused_qualifications = "warn"
 [workspace.dependencies]
 
 # ACVM workspace dependencies
-acir_field = { version = "1.0.0-beta.3", path = "acvm-repo/acir_field", default-features = false }
-acir = { version = "1.0.0-beta.3", path = "acvm-repo/acir", default-features = false }
-acvm = { version = "1.0.0-beta.3", path = "acvm-repo/acvm" }
-brillig = { version = "1.0.0-beta.3", path = "acvm-repo/brillig", default-features = false }
-brillig_vm = { version = "1.0.0-beta.3", path = "acvm-repo/brillig_vm", default-features = false }
-acvm_blackbox_solver = { version = "1.0.0-beta.3", path = "acvm-repo/blackbox_solver", default-features = false }
-bn254_blackbox_solver = { version = "1.0.0-beta.3", path = "acvm-repo/bn254_blackbox_solver", default-features = false }
+acir_field = { version = "1.0.0-beta.4", path = "acvm-repo/acir_field", default-features = false }
+acir = { version = "1.0.0-beta.4", path = "acvm-repo/acir", default-features = false }
+acvm = { version = "1.0.0-beta.4", path = "acvm-repo/acvm" }
+brillig = { version = "1.0.0-beta.4", path = "acvm-repo/brillig", default-features = false }
+brillig_vm = { version = "1.0.0-beta.4", path = "acvm-repo/brillig_vm", default-features = false }
+acvm_blackbox_solver = { version = "1.0.0-beta.4", path = "acvm-repo/blackbox_solver", default-features = false }
+bn254_blackbox_solver = { version = "1.0.0-beta.4", path = "acvm-repo/bn254_blackbox_solver", default-features = false }
 
 # Noir compiler workspace dependencies
 fm = { path = "compiler/fm" }

acvm-repo/acir/Cargo.toml

@@ -2,7 +2,7 @@
 name = "acir"
 description = "ACIR is the IR that the VM processes, it is analogous to LLVM IR"
 # x-release-please-start-version
-version = "1.0.0-beta.3"
+version = "1.0.0-beta.4"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true

acvm-repo/acir_field/Cargo.toml

@@ -2,7 +2,7 @@
 name = "acir_field"
 description = "The field implementation being used by ACIR."
 # x-release-please-start-version
-version = "1.0.0-beta.3"
+version = "1.0.0-beta.4"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true

acvm-repo/acvm/Cargo.toml

@@ -2,7 +2,7 @@
 name = "acvm"
 description = "The virtual machine that processes ACIR given a backend/proof system."
 # x-release-please-start-version
-version = "1.0.0-beta.3"
+version = "1.0.0-beta.4"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true

acvm-repo/acvm_js/Cargo.toml

@@ -2,7 +2,7 @@
 name = "acvm_js"
 description = "Typescript wrapper around the ACVM allowing execution of ACIR code"
 # x-release-please-start-version
-version = "1.0.0-beta.3"
+version = "1.0.0-beta.4"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true