chore: Release Noir(1.0.0-beta.2)

.release-please-manifest.json

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

CHANGELOG.md

@@ -1,5 +1,60 @@
 # Changelog
 
+## [1.0.0-beta.2](https://github.com/noir-lang/noir/compare/v1.0.0-beta.1...v1.0.0-beta.2) (2025-01-08)
+
+
+### ⚠ BREAKING CHANGES
+
+* Reserve `enum` and `match` keywords ([#6961](https://github.com/noir-lang/noir/issues/6961))
+* require trait method calls (`foo.bar()`) to have the trait in scope (imported) ([#6895](https://github.com/noir-lang/noir/issues/6895))
+* type-check trait default methods ([#6645](https://github.com/noir-lang/noir/issues/6645))
+* update `aes128_encrypt` to return an array ([#6973](https://github.com/noir-lang/noir/issues/6973))
+* turn TypeIsMorePrivateThenItem into an error ([#6953](https://github.com/noir-lang/noir/issues/6953))
+* turn CannotReexportItemWithLessVisibility into an error ([#6952](https://github.com/noir-lang/noir/issues/6952))
+* Switch to using `jsonrpsee` for foreign calls; refactor `run_test`; foreign call layering ([#6849](https://github.com/noir-lang/noir/issues/6849))
+
+### Features
+
+* `--pedantic-solving` flag ([#6716](https://github.com/noir-lang/noir/issues/6716)) ([5b9a113](https://github.com/noir-lang/noir/commit/5b9a113b1540ef18479dbc63c7ad916dc4891276))
+* Don't report warnings for dependencies ([#6926](https://github.com/noir-lang/noir/issues/6926)) ([7cc8dbf](https://github.com/noir-lang/noir/commit/7cc8dbfe670aeaf9ec84f30265417658f5465d11))
+* Don't simplify SSA instructions when creating them from a string ([#6948](https://github.com/noir-lang/noir/issues/6948)) ([da94c2b](https://github.com/noir-lang/noir/commit/da94c2b45fd43cbd6a5f2ba15b665dcb3a5e33a5))
+* Impl Default for U128 ([#6984](https://github.com/noir-lang/noir/issues/6984)) ([3c488f4](https://github.com/noir-lang/noir/commit/3c488f4b272f460383341c51270b87bfe2b94468))
+* Lock on Nargo.toml on several nargo commands ([#6941](https://github.com/noir-lang/noir/issues/6941)) ([54d81ca](https://github.com/noir-lang/noir/commit/54d81ca7236b2d418cd87d8c26e87f4790ab3d78))
+* **LSP:** Suggest trait methods from where clauses ([#6915](https://github.com/noir-lang/noir/issues/6915)) ([21eef0d](https://github.com/noir-lang/noir/commit/21eef0dd9f4afe0602b418b468d84058bcf5128c))
+* Require trait function calls (`Foo::bar()`) to have the trait in scope (imported) ([#6882](https://github.com/noir-lang/noir/issues/6882)) ([a5447ed](https://github.com/noir-lang/noir/commit/a5447edd8befb72d2fcae4c79de4bd54f1620bea))
+* Require trait method calls (`foo.bar()`) to have the trait in scope (imported) ([#6895](https://github.com/noir-lang/noir/issues/6895)) ([d61633d](https://github.com/noir-lang/noir/commit/d61633d628a0baa20ea45fb95386b262d7fbf7bc))
+* **ssa:** Hoist add and mul binary ops using known induction variables ([#6910](https://github.com/noir-lang/noir/issues/6910)) ([ebc4d2c](https://github.com/noir-lang/noir/commit/ebc4d2cf2b91658a10393733407f33d50a0faaf1))
+* **ssa:** Immediately simplify away RefCount instructions in ACIR functions ([#6893](https://github.com/noir-lang/noir/issues/6893)) ([ab8807d](https://github.com/noir-lang/noir/commit/ab8807d27b0442bd7e9ff73050f44bacea3add16))
+* Switch to using `jsonrpsee` for foreign calls; refactor `run_test`; foreign call layering ([#6849](https://github.com/noir-lang/noir/issues/6849)) ([51a4d5d](https://github.com/noir-lang/noir/commit/51a4d5d5237ba78e1b9eb3cdce760d3fb6b8d295))
+* **test:** Enable the test fuzzer for Wasm ([#6835](https://github.com/noir-lang/noir/issues/6835)) ([f4745d4](https://github.com/noir-lang/noir/commit/f4745d4578a4aec526b3440707e5fdcb0452811f))
+* Turn CannotReexportItemWithLessVisibility into an error ([#6952](https://github.com/noir-lang/noir/issues/6952)) ([da18a12](https://github.com/noir-lang/noir/commit/da18a12e32e60fb2301e747fd24505fb46d679d7))
+* Turn TypeIsMorePrivateThenItem into an error ([#6953](https://github.com/noir-lang/noir/issues/6953)) ([8b6f720](https://github.com/noir-lang/noir/commit/8b6f720fb5b855f557d3d520f18b69a5830242b2))
+* Type-check trait default methods ([#6645](https://github.com/noir-lang/noir/issues/6645)) ([8bb3908](https://github.com/noir-lang/noir/commit/8bb3908281d531160db7d7898c67fb2647792e6e))
+* Update `aes128_encrypt` to return an array ([#6973](https://github.com/noir-lang/noir/issues/6973)) ([dcdccfc](https://github.com/noir-lang/noir/commit/dcdccfcafaf29f91187951f0a26bcbd48cd67c27))
+* Warn on trait method visibility ([#6923](https://github.com/noir-lang/noir/issues/6923)) ([bb71bcb](https://github.com/noir-lang/noir/commit/bb71bcb3a0eec6f76a48085ba9684cb8dd4aa27f))
+
+
+### Bug Fixes
+
+* 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))
+* Bigint builtins are foreigns ([#6892](https://github.com/noir-lang/noir/issues/6892)) ([a1f9c94](https://github.com/noir-lang/noir/commit/a1f9c949825bac1068a4e00e93e95b0dbfa8b5a7))
+* Consistent file_id across installation paths ([#6912](https://github.com/noir-lang/noir/issues/6912)) ([baca790](https://github.com/noir-lang/noir/commit/baca790a7241044c7a1cce1f2aab13a2c5c998a8))
+* Do not emit range check for multiplication by bool ([#6983](https://github.com/noir-lang/noir/issues/6983)) ([c0a4010](https://github.com/noir-lang/noir/commit/c0a4010444a8c59562f760d1c36429caf08c0608))
+* Do not panic on indices which are not valid `u32`s ([#6976](https://github.com/noir-lang/noir/issues/6976)) ([bf474c0](https://github.com/noir-lang/noir/commit/bf474c0ee837fdf8809b2785759f86a433122174))
+* Don't fail parsing macro if there are parser warnings ([#6969](https://github.com/noir-lang/noir/issues/6969)) ([7f0067c](https://github.com/noir-lang/noir/commit/7f0067c3f7efa804d244e93258351f998e281ccb))
+* Error on missing function parameters ([#6967](https://github.com/noir-lang/noir/issues/6967)) ([38d429e](https://github.com/noir-lang/noir/commit/38d429e0cd8c23ce23f7c0559250809fed7f67ac))
+* Non-determinism from under constrained checks ([#6945](https://github.com/noir-lang/noir/issues/6945)) ([203242c](https://github.com/noir-lang/noir/commit/203242c0c05e9333caaa8df55a4ed9a02e000882))
+* Remove unnecessary cast in bit-shift ([#6890](https://github.com/noir-lang/noir/issues/6890)) ([011fbc1](https://github.com/noir-lang/noir/commit/011fbc195419df0254af69cfea593291c8f80af3))
+* Return trait impl method as FuncId if there's only one ([#6989](https://github.com/noir-lang/noir/issues/6989)) ([8d7f1f9](https://github.com/noir-lang/noir/commit/8d7f1f909c50887bca6ff1243d70622c2a3b3ec8))
+* Show output of `test_program_is_idempotent` on failure ([#6942](https://github.com/noir-lang/noir/issues/6942)) ([a690d96](https://github.com/noir-lang/noir/commit/a690d96e6111830aba245fd3f1118a87f6f6b018))
+* Start RC at 1 again ([#6958](https://github.com/noir-lang/noir/issues/6958)) ([6f086b3](https://github.com/noir-lang/noir/commit/6f086b3c4b240ae5e95ccd18f2499596edee9408))
+* Wrong module to lookup trait when using crate or super ([#6974](https://github.com/noir-lang/noir/issues/6974)) ([74ec723](https://github.com/noir-lang/noir/commit/74ec7239fcc5664e97fd41b0987967e671c742b6))
+
+
+### Miscellaneous Chores
+
+* Reserve `enum` and `match` keywords ([#6961](https://github.com/noir-lang/noir/issues/6961)) ([e08f4fa](https://github.com/noir-lang/noir/commit/e08f4faef0bed5331824d2d6fdca7416a3154e5d))
+
 ## [1.0.0-beta.1](https://github.com/noir-lang/noir/compare/v1.0.0-beta.0...v1.0.0-beta.1) (2024-12-20)
 
 
@@ -111,7 +166,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))
@@ -120,7 +175,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))
@@ -153,12 +208,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))
@@ -193,7 +248,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))
@@ -209,7 +264,7 @@
 
 ### ⚠ BREAKING CHANGES
 
 * remove mimc from stdlib ([#6402](https://github.com/noir-lang/noir/issues/6402))
 * **avm/brillig:** revert/rethrow oracle (https://github.com/AztecProtocol/aztec-packages/pull/9408)
 * use Brillig opcode when possible for less-than operations on fields (https://github.com/AztecProtocol/aztec-packages/pull/9416)
 * remove noir_js_backend_barretenberg (https://github.com/AztecProtocol/aztec-packages/pull/9338)
@@ -235,7 +290,7 @@
 * **profiler:** New flamegraph command that profiles the opcodes executed ([#6327](https://github.com/noir-lang/noir/issues/6327)) ([4d87c9a](https://github.com/noir-lang/noir/commit/4d87c9ac78b48b4bd0ae81316df28aab390d004e))
 * Reject programs with unconditional recursion ([#6292](https://github.com/noir-lang/noir/issues/6292)) ([00c5c51](https://github.com/noir-lang/noir/commit/00c5c5154b818d0b50802721eae621efb3379a4e))
 * Remove 'single use' intermediate variables ([#6268](https://github.com/noir-lang/noir/issues/6268)) ([ec75e8e](https://github.com/noir-lang/noir/commit/ec75e8ec59e0f2a2169aea67372411ede4074d09))
 * Remove mimc from stdlib ([#6402](https://github.com/noir-lang/noir/issues/6402)) ([ec03e77](https://github.com/noir-lang/noir/commit/ec03e779f438069e51e973d8f29727e1e0fb5665))
 * Sha256 refactoring and benchmark with longer input ([#6318](https://github.com/noir-lang/noir/issues/6318)) ([d606491](https://github.com/noir-lang/noir/commit/d606491a61a9fe2153666f7d0a3ec6cae7bfaecb))
 * **ssa:** Various mem2reg reverts to reduce memory and compilation time ([#6307](https://github.com/noir-lang/noir/issues/6307)) ([b820328](https://github.com/noir-lang/noir/commit/b82032888819eac82b2bfce8300c2c8b66507c64))
 * Suggest removing `!` from macro call that doesn't return Quoted ([#6384](https://github.com/noir-lang/noir/issues/6384)) ([0232b57](https://github.com/noir-lang/noir/commit/0232b573c418ab74715b7cc1d3e858d993bc1c07))
@@ -282,7 +337,7 @@
 * Brillig and AVM default all uninitialized memory cells to Field 0 (https://github.com/AztecProtocol/aztec-packages/pull/9057)
 * remove keccak256 opcode from ACIR/Brillig (https://github.com/AztecProtocol/aztec-packages/pull/9104)
 * Brillig with a stack and conditional inlining (https://github.com/AztecProtocol/aztec-packages/pull/8989)
 * **avm:** remove CMOV opcode (https://github.com/AztecProtocol/aztec-packages/pull/9030)
 * Integer division is not the inverse of integer multiplication ([#6243](https://github.com/noir-lang/noir/issues/6243))
 * kind size checks ([#6137](https://github.com/noir-lang/noir/issues/6137))
 * Change tag attributes to require a ' prefix ([#6235](https://github.com/noir-lang/noir/issues/6235))

Cargo.toml

@@ -40,7 +40,7 @@ resolver = "2"
 
 [workspace.package]
 # x-release-please-start-version
-version = "1.0.0-beta.1"
+version = "1.0.0-beta.2"
 # x-release-please-end
 authors = ["The Noir Team <team@noir-lang.org>"]
 edition = "2021"
@@ -57,13 +57,13 @@ unused_qualifications = "warn"
 [workspace.dependencies]
 
 # ACVM workspace dependencies
-acir_field = { version = "1.0.0-beta.1", path = "acvm-repo/acir_field", default-features = false }
-acir = { version = "1.0.0-beta.1", path = "acvm-repo/acir", default-features = false }
-acvm = { version = "1.0.0-beta.1", path = "acvm-repo/acvm" }
-brillig = { version = "1.0.0-beta.1", path = "acvm-repo/brillig", default-features = false }
-brillig_vm = { version = "1.0.0-beta.1", path = "acvm-repo/brillig_vm", default-features = false }
-acvm_blackbox_solver = { version = "1.0.0-beta.1", path = "acvm-repo/blackbox_solver", default-features = false }
-bn254_blackbox_solver = { version = "1.0.0-beta.1", path = "acvm-repo/bn254_blackbox_solver", default-features = false }
+acir_field = { version = "1.0.0-beta.2", path = "acvm-repo/acir_field", default-features = false }
+acir = { version = "1.0.0-beta.2", path = "acvm-repo/acir", default-features = false }
+acvm = { version = "1.0.0-beta.2", path = "acvm-repo/acvm" }
+brillig = { version = "1.0.0-beta.2", path = "acvm-repo/brillig", default-features = false }
+brillig_vm = { version = "1.0.0-beta.2", path = "acvm-repo/brillig_vm", default-features = false }
+acvm_blackbox_solver = { version = "1.0.0-beta.2", path = "acvm-repo/blackbox_solver", default-features = false }
+bn254_blackbox_solver = { version = "1.0.0-beta.2", 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.1"
+version = "1.0.0-beta.2"
 # 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.1"
+version = "1.0.0-beta.2"
 # 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.1"
+version = "1.0.0-beta.2"
 # 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.1"
+version = "1.0.0-beta.2"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true

acvm-repo/acvm_js/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@noir-lang/acvm_js",
-  "version": "1.0.0-beta.1",
+  "version": "1.0.0-beta.2",
   "publishConfig": {
     "access": "public"
   },

acvm-repo/blackbox_solver/Cargo.toml

@@ -2,7 +2,7 @@
 name = "acvm_blackbox_solver"
 description = "A solver for the blackbox functions found in ACIR and Brillig"
 # x-release-please-start-version
-version = "1.0.0-beta.1"
+version = "1.0.0-beta.2"
 # x-release-please-end
 authors.workspace = true
 edition.workspace = true