diff --git a/.release-please-manifest.json b/.release-please-manifest.json index 0b149e3ad7b..f8bbc63aa06 100644 --- a/.release-please-manifest.json +++ b/.release-please-manifest.json @@ -1,3 +1,3 @@ { - ".": "1.0.0-beta.18" + ".": "1.0.0-beta.19" } diff --git a/CHANGELOG.md b/CHANGELOG.md index 3e456d4a2cf..88eb5d4d52a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,197 @@ # Changelog +## [1.0.0-beta.19](https://github.com/noir-lang/noir/compare/v1.0.0-beta.18...v1.0.0-beta.19) (2026-02-17) + + +### ⚠ BREAKING CHANGES + +* bump MSRV to 1.87.0 ([#11449](https://github.com/noir-lang/noir/issues/11449)) +* remove `ExpressionWidth` ([#11229](https://github.com/noir-lang/noir/issues/11229)) +* remove deprecated wrapping arithmetic functions ([#11158](https://github.com/noir-lang/noir/issues/11158)) +* **brillig:** Avoid unnecessary array to vector conversion for black box inputs/outputs ([#10151](https://github.com/noir-lang/noir/issues/10151)) +* store brillig memory addresses as `u32` instead of `usize` ([#10933](https://github.com/noir-lang/noir/issues/10933)) +* unify comptime expression/statement with target type ([#10678](https://github.com/noir-lang/noir/issues/10678)) +* remove bincode support ([#11132](https://github.com/noir-lang/noir/issues/11132)) +* Use `msgpack-compact` format by default ([#7810](https://github.com/noir-lang/noir/issues/7810)) + +### Features + +* Add `--profile-execution` to inspector command ([#11218](https://github.com/noir-lang/noir/issues/11218)) ([7b98584](https://github.com/noir-lang/noir/commit/7b985844f8ea9d98efa1418034eb9d59ba605e13)) +* Add `wrap_comments` and `comment_width` options to `nargo fmt` ([#7371](https://github.com/noir-lang/noir/issues/7371)) ([e48a0d8](https://github.com/noir-lang/noir/commit/e48a0d8d0e96d1b35964908f875faa9e5e631f59)) +* Allow double colon for specifying type generics ([#11456](https://github.com/noir-lang/noir/issues/11456)) ([272d785](https://github.com/noir-lang/noir/commit/272d785ffd7075ae4ff71efe673ee0d3deeeefdb)) +* **brillig:** Avoid unnecessary array to vector conversion for black box inputs/outputs ([#10151](https://github.com/noir-lang/noir/issues/10151)) ([86ab173](https://github.com/noir-lang/noir/commit/86ab173b13079370aec337343d1f8b81123a5936)) +* Check-witness option for nargo execute ([#10877](https://github.com/noir-lang/noir/issues/10877)) ([092b42a](https://github.com/noir-lang/noir/commit/092b42a082172acb05f7ac408ee4826eceaebacf)) +* **doc:** Detect and report broken links ([#11208](https://github.com/noir-lang/noir/issues/11208)) ([b19c471](https://github.com/noir-lang/noir/commit/b19c471e227ff2e18a92000a9d1687d5dadb562d)) +* **doc:** Enable some markdown extensions ([#11292](https://github.com/noir-lang/noir/issues/11292)) ([eb2b4ea](https://github.com/noir-lang/noir/commit/eb2b4ea99cf83c1de043328e2f2a0561c7bc2f28)) +* **frontend:** Direct access of associated constants ([#11361](https://github.com/noir-lang/noir/issues/11361)) ([27c3ff4](https://github.com/noir-lang/noir/commit/27c3ff41aa6109a2dc33477daae21af837068e4a)) +* **frontend:** Enable accessing associated types on bound generics ([#11375](https://github.com/noir-lang/noir/issues/11375)) ([9b9ca2d](https://github.com/noir-lang/noir/commit/9b9ca2de7834c8d37657c6f49c57a1cab787de28)) +* Implement escaping unquotes in quote exprs ([#11391](https://github.com/noir-lang/noir/issues/11391)) ([f4cadb2](https://github.com/noir-lang/noir/commit/f4cadb231ad3be4775827549c4b7354ef4d8efd6)) +* Improve error message when large numbers are used in TOML ([#11426](https://github.com/noir-lang/noir/issues/11426)) ([242b61d](https://github.com/noir-lang/noir/commit/242b61d72ff7c42d7b1c1b9b5337b2d4dddc14dc)) +* Improve invalid array error message ([#11153](https://github.com/noir-lang/noir/issues/11153)) ([ba06353](https://github.com/noir-lang/noir/commit/ba063537a20e3361e488ccf1ec534c35a2290146)) +* Inline never attribute ([#11114](https://github.com/noir-lang/noir/issues/11114)) ([1d4b60b](https://github.com/noir-lang/noir/commit/1d4b60b5a81feb9f2ab2f5e0f2b1c8401c58bf33)) +* **LSP:** On change, only type-check the changed file ([#11316](https://github.com/noir-lang/noir/issues/11316)) ([d3eb935](https://github.com/noir-lang/noir/commit/d3eb935cb7d0f614259bf5e2fd3b7301c2e03b36)) +* **lsp:** Suggest function parameters ([#11441](https://github.com/noir-lang/noir/issues/11441)) ([de6e046](https://github.com/noir-lang/noir/commit/de6e046d46a7cf9c7eed467803c1962078b4fc12)) +* **lsp:** Suggest local variables first ([#11360](https://github.com/noir-lang/noir/issues/11360)) ([3b5a851](https://github.com/noir-lang/noir/commit/3b5a851a63cd784569c9edc481d035a852fb3d35)) +* More specific return location for function return type mismatches ([#11350](https://github.com/noir-lang/noir/issues/11350)) ([320fb77](https://github.com/noir-lang/noir/commit/320fb77e0dffa1e9faba5940ad66927d0597ac9c)) +* **ownership:** Handle reassigning variables to reduce cloning ([#11565](https://github.com/noir-lang/noir/issues/11565)) ([949da54](https://github.com/noir-lang/noir/commit/949da54bfac6697e6e08a7e7fe4585043dc7975a)) +* **ssa:** Configurable small loop always unroll threshold ([#11493](https://github.com/noir-lang/noir/issues/11493)) ([9e8e6b9](https://github.com/noir-lang/noir/commit/9e8e6b95dc8ecac9c9c5a2e14469a00a55f3a23a)) +* **ssa:** Inlining cost model refinement ([#9692](https://github.com/noir-lang/noir/issues/9692)) ([6e0b468](https://github.com/noir-lang/noir/commit/6e0b468fa9d57cfb74d3ebf359f94d34133fc9ca)) +* Verify context7 ownership ([#11377](https://github.com/noir-lang/noir/issues/11377)) ([5c27fae](https://github.com/noir-lang/noir/commit/5c27fae5055f6062943a90fc2f474cf344183a12)) + + +### Bug Fixes + +* **ACIR:** Check vector length is not zero before pop_front ([#11107](https://github.com/noir-lang/noir/issues/11107)) ([da65d90](https://github.com/noir-lang/noir/commit/da65d90d812d7b93b2323b6a00bb7b29a6acfb1a)) +* Add missing unification to `type_check_operator_method` ([#11353](https://github.com/noir-lang/noir/issues/11353)) ([8cf160c](https://github.com/noir-lang/noir/commit/8cf160c9893bab2ca377135d415e6942ab7dc051)) +* Add more specific error types for evaluating numeric generics ([#11164](https://github.com/noir-lang/noir/issues/11164)) ([7e6c06f](https://github.com/noir-lang/noir/commit/7e6c06fb952abd5ee737c8aed29430d915511dee)) +* Add oob checks when reading call_data ([#11133](https://github.com/noir-lang/noir/issues/11133)) ([7aa4e36](https://github.com/noir-lang/noir/commit/7aa4e3660c41b7d00e45e4ca0d9e2077ac8170b4)) +* Add pkcs7 padding to the stdlib AES128 function ([#11283](https://github.com/noir-lang/noir/issues/11283)) ([1000cb2](https://github.com/noir-lang/noir/commit/1000cb2b31f251ffd3117543d012d3f82bdb16f7)) +* Allow importing re-exports that are defined afterwards ([#11258](https://github.com/noir-lang/noir/issues/11258)) ([f1bc25d](https://github.com/noir-lang/noir/commit/f1bc25d7cbcff0876425a2fa639519ed09c66ae4)) +* Apply index side effects recursively ([#11103](https://github.com/noir-lang/noir/issues/11103)) ([6f95f40](https://github.com/noir-lang/noir/commit/6f95f40e434faaa666464919051315a6e967b4d9)) +* As_witness being removed when used in return data ([#11130](https://github.com/noir-lang/noir/issues/11130)) ([4356c80](https://github.com/noir-lang/noir/commit/4356c801ab1da96eb5b1fd22d0f061d1aae8c759)) +* Avoid hoisting make array instructions ([#11432](https://github.com/noir-lang/noir/issues/11432)) ([d44d6ae](https://github.com/noir-lang/noir/commit/d44d6aedd227596a93f30b5434b6a60eecf1570f)) +* Avoid panic on invalid inputs for ecdsa verification ([#11160](https://github.com/noir-lang/noir/issues/11160)) ([a74b997](https://github.com/noir-lang/noir/commit/a74b9974e578c2bf6690a7a7f215b3755d500abe)) +* Better error messages on malformed Nargo.toml ([#11240](https://github.com/noir-lang/noir/issues/11240)) ([6ef0e22](https://github.com/noir-lang/noir/commit/6ef0e228bd649e8c43330354d704a6ec04dff225)) +* **BoundedVec:** Improves performance of extend_from_bounded_vec ([#11251](https://github.com/noir-lang/noir/issues/11251)) ([84f4b3a](https://github.com/noir-lang/noir/commit/84f4b3ad1e71b28a01ab548a7dce863df8dd5218)) +* **brillig:** Checked math when computing size and capacity for vectors ([#11235](https://github.com/noir-lang/noir/issues/11235)) ([28220c0](https://github.com/noir-lang/noir/commit/28220c09bb9c59dc4f0451f19938e7bdf7ad3f55)) +* **brillig:** Defensive assertion against call arguments heap corruption ([#11288](https://github.com/noir-lang/noir/issues/11288)) ([70db6eb](https://github.com/noir-lang/noir/commit/70db6eb701abacccd3ba906cb392de0c9d191955)) +* **brillig:** Use temp registers when passing block arguments ([#11495](https://github.com/noir-lang/noir/issues/11495)) ([d314e0e](https://github.com/noir-lang/noir/commit/d314e0edb4250de8bd5d5950db7ed719797f7767)) +* **browser:** Disable web security in the `browser` test ([#11520](https://github.com/noir-lang/noir/issues/11520)) ([c88fc06](https://github.com/noir-lang/noir/commit/c88fc0672b253e209de63f594bb75f9bea736106)) +* Check --program-directory exists and is a directory ([#11334](https://github.com/noir-lang/noir/issues/11334)) ([45de4a4](https://github.com/noir-lang/noir/commit/45de4a4b12db5dbc146d019b0bd9ae50564b13f0)) +* Check `assert_constant` after SSA loop unrolling ([#11428](https://github.com/noir-lang/noir/issues/11428)) ([8c399ff](https://github.com/noir-lang/noir/commit/8c399ff814b30657c016c720bb37effbeea66802)) +* Check `self` and `Self` are comptime-only types used in runtime … ([#11303](https://github.com/noir-lang/noir/issues/11303)) ([55b5047](https://github.com/noir-lang/noir/commit/55b50475b545012ee976eb3907b363d1467d5878)) +* Check fold types during monomorphization ([#11366](https://github.com/noir-lang/noir/issues/11366)) ([222c012](https://github.com/noir-lang/noir/commit/222c0123c6cfb4063524b547f61b081e1c43a38f)) +* Check func env for references/vectors ([#11255](https://github.com/noir-lang/noir/issues/11255)) ([7f58011](https://github.com/noir-lang/noir/commit/7f580117950aaaa1f7da7c96b6eea2f291d92847)) +* Check NamedGenerics by id, not name ([#11354](https://github.com/noir-lang/noir/issues/11354)) ([e4f0640](https://github.com/noir-lang/noir/commit/e4f06401f637f4b88cd36636fe5afe75b21d843f)) +* Check trait constraints with type and generics ([#11332](https://github.com/noir-lang/noir/issues/11332)) ([f00ead9](https://github.com/noir-lang/noir/commit/f00ead976b22b35a2746c6db06fd77609cabe6ea)) +* Check type instead of assuming a vector ([#11140](https://github.com/noir-lang/noir/issues/11140)) ([5bbb5b5](https://github.com/noir-lang/noir/commit/5bbb5b58596fb88db6269812ad5355cdb4dc58d6)) +* **ci:** Mark keccak tests with oracles as failing ([#11121](https://github.com/noir-lang/noir/issues/11121)) ([a8731e9](https://github.com/noir-lang/noir/commit/a8731e96b428a9eb57c50cfade197de2716b8c39)) +* Clean up after foreign call resolver fails ([#11423](https://github.com/noir-lang/noir/issues/11423)) ([a1b7994](https://github.com/noir-lang/noir/commit/a1b7994daaa32ed76235ad82869459b020a5648a)) +* **cli:** Pass `--include_gates_per_opcode` in call to `bb` in `noir-profiler gates` ([#11310](https://github.com/noir-lang/noir/issues/11310)) ([65c84b0](https://github.com/noir-lang/noir/commit/65c84b093f455740accd634fbf42a05a34676df0)) +* **cli:** Remove 'Expression Width' from the info table ([#11254](https://github.com/noir-lang/noir/issues/11254)) ([41313a3](https://github.com/noir-lang/noir/commit/41313a3641d354fd3202867fee09f7381b98430e)) +* **comptime:** Attribute macro expansion depth limit ([#11352](https://github.com/noir-lang/noir/issues/11352)) ([46ffc80](https://github.com/noir-lang/noir/commit/46ffc80bbca34fc5b252bc7324f88611757987b2)) +* Correct "additional capacity" for element type sizes array ([#11215](https://github.com/noir-lang/noir/issues/11215)) ([300cf58](https://github.com/noir-lang/noir/commit/300cf58fb59284920e1e6a75b27c76810d5e8c9c)) +* Correct path resolution for module attribute argument ([#11576](https://github.com/noir-lang/noir/issues/11576)) ([c334ad3](https://github.com/noir-lang/noir/commit/c334ad315d9a43dd112832967a146310cf0304ff)) +* Correct size for HeapValueType::Array size ([#11126](https://github.com/noir-lang/noir/issues/11126)) ([59188e0](https://github.com/noir-lang/noir/commit/59188e07a34d5512979b5641cf6e2a2590ee5d32)) +* Correct way to track type recursion ([#11509](https://github.com/noir-lang/noir/issues/11509)) ([ea34c2a](https://github.com/noir-lang/noir/commit/ea34c2a3238ef89abec5f14ccd8be0be86f2d0b0)) +* Dedicated block_id for return_data ([#11367](https://github.com/noir-lang/noir/issues/11367)) ([212f909](https://github.com/noir-lang/noir/commit/212f9095e7914bc9dca8eb59cc81d36e0b29099d)) +* Deduce function is unconstrained from FuncMeta type ([#11534](https://github.com/noir-lang/noir/issues/11534)) ([33ebdad](https://github.com/noir-lang/noir/commit/33ebdadc7a27f0f7573b47400ad5c546df91adcf)) +* Discriminating on errors from `try_lookup_trait_implementation` in `add_assumed_trait_implementation` ([#11488](https://github.com/noir-lang/noir/issues/11488)) ([b8b2183](https://github.com/noir-lang/noir/commit/b8b218326ce28ccb5fde7106a13c941cce7e9d11)) +* Do not check length for empty zst arrays in the interpreter ([#11168](https://github.com/noir-lang/noir/issues/11168)) ([edcff87](https://github.com/noir-lang/noir/commit/edcff878a20953ac879eb5a6aaa4b25e2f29a7ba)) +* Do not crash when R is zero ([#11122](https://github.com/noir-lang/noir/issues/11122)) ([4a39a9a](https://github.com/noir-lang/noir/commit/4a39a9a4dd53cb0e638cbf846fc34fb23c9b953d)) +* Do not discard terms that cannot be added to intermediate variables ([#11087](https://github.com/noir-lang/noir/issues/11087)) ([e1bd2c7](https://github.com/noir-lang/noir/commit/e1bd2c70f7adf6347a1ab5aa5da2729c641abd12)) +* Do not predicate safe index on non-homogenous arrays ([#11442](https://github.com/noir-lang/noir/issues/11442)) ([86eddc2](https://github.com/noir-lang/noir/commit/86eddc2c7eb004aa4aa69aeb089259acde2a0c04)) +* **doc:** Code block overflow ([#11308](https://github.com/noir-lang/noir/issues/11308)) ([0d03696](https://github.com/noir-lang/noir/commit/0d03696224885280fe55bed7309f09c8f631ef0b)) +* **doc:** Consider [`...`] to be links too, even if they have nested … ([#11293](https://github.com/noir-lang/noir/issues/11293)) ([80ff673](https://github.com/noir-lang/noir/commit/80ff67310fe7e6630ff6def2df7e216e94e2049b)) +* **doc:** Don't hide sidebar if not on a mobile device ([#11210](https://github.com/noir-lang/noir/issues/11210)) ([8900063](https://github.com/noir-lang/noir/commit/89000634f12d23b3977e3890cab9fcdf25fdbf05)) +* **doc:** Nest public re-exports of other crate items ([#11294](https://github.com/noir-lang/noir/issues/11294)) ([92f51fa](https://github.com/noir-lang/noir/commit/92f51fa47b378dfe56c2e378211727357be3765e)) +* Don't auto-deref when solving trait constraints ([#11305](https://github.com/noir-lang/noir/issues/11305)) ([584cc8c](https://github.com/noir-lang/noir/commit/584cc8cf0f0244906d3c89b5b6caa1ddc35eba45)) +* Don't dedup array sets in brillig fns ([#11395](https://github.com/noir-lang/noir/issues/11395)) ([56b3e06](https://github.com/noir-lang/noir/commit/56b3e06bba54ba9cf45a93f7850c334eb51d7959)) +* Don't evaluate global without value ([#11444](https://github.com/noir-lang/noir/issues/11444)) ([b3f7358](https://github.com/noir-lang/noir/commit/b3f73584360453a658cb6940db694c13668d6563)) +* **elaborator:** Disambiguate associated types from ordered generics ([#11346](https://github.com/noir-lang/noir/issues/11346)) ([d6cc27e](https://github.com/noir-lang/noir/commit/d6cc27e1c02edb2e2e21132fda096de15fa0ae07)) +* **elaborator:** Elaborate pending `impl Trait` functions on-the-fly ([#11239](https://github.com/noir-lang/noir/issues/11239)) ([004d042](https://github.com/noir-lang/noir/commit/004d04220d4043fc00bd4288402f0dbd93e28347)) +* **elaborator:** Handle `::` in function signatures ([#11417](https://github.com/noir-lang/noir/issues/11417)) ([d1e7da8](https://github.com/noir-lang/noir/commit/d1e7da84d399036d96b428d643fecf98a3854001)) +* **elaborator:** Make `::{ident}` work as `Self::{ident}` ([#11371](https://github.com/noir-lang/noir/issues/11371)) ([516cdf5](https://github.com/noir-lang/noir/commit/516cdf530ca2358b634389878d05715ca5ef7fc4)) +* **elaborator:** Pass the `unresolved_globals` to the `Elaborator` created for the comptime `Interpreter` ([#11259](https://github.com/noir-lang/noir/issues/11259)) ([56908dd](https://github.com/noir-lang/noir/commit/56908dda5aa1ed7a653b7542e244a118cfd403d5)) +* Ensure trait impl generic kinds match their corresponding trait generic kinds ([#11172](https://github.com/noir-lang/noir/issues/11172)) ([44aa82b](https://github.com/noir-lang/noir/commit/44aa82bae38eb604ebf95dd9b7a9873f1bccd674)) +* Error if non-generic type is used in generics list ([#11410](https://github.com/noir-lang/noir/issues/11410)) ([22414b2](https://github.com/noir-lang/noir/commit/22414b25be6513c040803d49a3e244b557a675ae)) +* Error instead of panic when method is not found ([#11330](https://github.com/noir-lang/noir/issues/11330)) ([e1b2904](https://github.com/noir-lang/noir/commit/e1b2904367e55e88385af7905c2ded8e86920b49)) +* Error instead of stack overflowing on more cyclic aliases ([#11185](https://github.com/noir-lang/noir/issues/11185)) ([d8a674a](https://github.com/noir-lang/noir/commit/d8a674a8a759417323db4ea3ff622cdd095a338e)) +* Error on (trait) impl on unsupported type ([#11304](https://github.com/noir-lang/noir/issues/11304)) ([733f79c](https://github.com/noir-lang/noir/commit/733f79c6c126108258976201e3082a741ca228d8)) +* Error on `Module::add_item` if a module is from an external crate ([#11585](https://github.com/noir-lang/noir/issues/11585)) ([460c017](https://github.com/noir-lang/noir/commit/460c0175eccb856b0a0eef49db885e7bc98b4866)) +* Error on turbofish on type parameter ([#11184](https://github.com/noir-lang/noir/issues/11184)) ([fc803bf](https://github.com/noir-lang/noir/commit/fc803bfe108cd18a9d1d36cd57f768ff8abb5252)) +* Error on types that are too big ([#11398](https://github.com/noir-lang/noir/issues/11398)) ([fdbc5e1](https://github.com/noir-lang/noir/commit/fdbc5e1666264b8c21889b4e0c24d6b49ebf433d)) +* Error when calling verify_proof_with_type in brillig ([#11227](https://github.com/noir-lang/noir/issues/11227)) ([7eef3ab](https://github.com/noir-lang/noir/commit/7eef3ab0a4c273f1efff870b8133686be89ef781)) +* Error when overflow check fails at compile time ([#11256](https://github.com/noir-lang/noir/issues/11256)) ([bb12309](https://github.com/noir-lang/noir/commit/bb123097bfa6a73605c1962ad782ca4bb7fd9856)) +* Evaluate monomorphizer builtins in variable case, not calls ([#11214](https://github.com/noir-lang/noir/issues/11214)) ([80026cf](https://github.com/noir-lang/noir/commit/80026cfca7b7480bc1ad1277f68710e167226216)) +* Expand unquote inside nested quote ([#11369](https://github.com/noir-lang/noir/issues/11369)) ([fba32b4](https://github.com/noir-lang/noir/commit/fba32b4e883f2b63c695d285327c32bbf655cd7e)) +* Fix panic during monomorphization when calling a non-function enum variant as a function ([#11165](https://github.com/noir-lang/noir/issues/11165)) ([f06ded9](https://github.com/noir-lang/noir/commit/f06ded9c9de4047effbb60899bc20b6ee61f1332)) +* Fix stack overflow on some Type methods ([#11203](https://github.com/noir-lang/noir/issues/11203)) ([8af6f7b](https://github.com/noir-lang/noir/commit/8af6f7b777b104599f7a3a8e7a840d1f5cffcac5)) +* **fmt:** A couple of comment-related fixes ([#11397](https://github.com/noir-lang/noir/issues/11397)) ([7b8bbde](https://github.com/noir-lang/noir/commit/7b8bbde0c3caba8296b5a54126440fcc4d9ead4e)) +* **fmt:** Format the old vector syntax into the new one ([#11128](https://github.com/noir-lang/noir/issues/11128)) ([c96ca7a](https://github.com/noir-lang/noir/commit/c96ca7ac4e4e07268ecc21fb6f1f034c7f4659f1)) +* **fmt:** Let `noir-fmt:ignore` ignore comment formatting ([#11527](https://github.com/noir-lang/noir/issues/11527)) ([28964ef](https://github.com/noir-lang/noir/commit/28964efd5979c55023194ce882445ed5318b0821)) +* For `T::Assoc` search trait bounds instead of trait associated types ([#11558](https://github.com/noir-lang/noir/issues/11558)) ([dff422f](https://github.com/noir-lang/noir/commit/dff422f31893e23b418f7854ce383d8a0cf540c0)) +* **frontend:** Disallow oracles returning vectors with nested arrays ([#11277](https://github.com/noir-lang/noir/issues/11277)) ([bb296ff](https://github.com/noir-lang/noir/commit/bb296ffb0711bac26d801882ca0932da530923dc)) +* **frontend:** Do not error in trait method when impl is missing associated constant declaration ([#11363](https://github.com/noir-lang/noir/issues/11363)) ([6d2adb3](https://github.com/noir-lang/noir/commit/6d2adb3642f864516845097b1cd0886824c655d9)) +* **frontend:** Lex `<<` as two `Less` tokens to support nested generics ([#11555](https://github.com/noir-lang/noir/issues/11555)) ([00b5696](https://github.com/noir-lang/noir/commit/00b5696ed02ae46d4e6d59e45c1561972290f96f)) +* **frontend:** Multiple segment Self paths for associated types ([#11338](https://github.com/noir-lang/noir/issues/11338)) ([0b31117](https://github.com/noir-lang/noir/commit/0b31117f9cb98bfee60e5c06ed6625991d5178d3)) +* **frontend:** Only confirm moves from current branch on conditional reassignment ([#11581](https://github.com/noir-lang/noir/issues/11581)) ([f0e97dd](https://github.com/noir-lang/noir/commit/f0e97ddfa4a502e2855386dad4e864482bec87b1)) +* **frontend:** Reject defining `#[oracle]` functions which clash with the `stdlib` ([#11312](https://github.com/noir-lang/noir/issues/11312)) ([4a819cf](https://github.com/noir-lang/noir/commit/4a819cff4c529aa80fbf603bc054e66c212f7716)) +* **frontend:** Restore variable loop indices after while loops in ownership pass ([#11584](https://github.com/noir-lang/noir/issues/11584)) ([bd5f9f0](https://github.com/noir-lang/noir/commit/bd5f9f0c864557f6abfda31db4b5919c23cccaf8)) +* Handle large arrays in the monomorphiser and limit their length ([#11279](https://github.com/noir-lang/noir/issues/11279)) ([98e2f0d](https://github.com/noir-lang/noir/commit/98e2f0dc5c22015132825d8781416f525309842a)) +* **hir:** Do not ignore the name in `PartialEq` for `Type::NamedGeneric` for implicit unbound ([#11351](https://github.com/noir-lang/noir/issues/11351)) ([4a862a2](https://github.com/noir-lang/noir/commit/4a862a26c6718a1763d85cf564e583a1bc2c5f98)) +* Ignore parameters with reference in hint::blackbox() ([#11386](https://github.com/noir-lang/noir/issues/11386)) ([c695737](https://github.com/noir-lang/noir/commit/c695737c4f9b4d86c961cdf21fed215dfcc65452)) +* Improve `impl` on associated type error ([#11412](https://github.com/noir-lang/noir/issues/11412)) ([e0de7d6](https://github.com/noir-lang/noir/commit/e0de7d63085f569207f5a421ab85e226d8bb64d6)) +* Improve error message when failing to save program/contract ([#11406](https://github.com/noir-lang/noir/issues/11406)) ([37b7eab](https://github.com/noir-lang/noir/commit/37b7eabebb7db97681687d9b942ea99c81338fa9)) +* Improve parser recovery with too-large integers ([#11245](https://github.com/noir-lang/noir/issues/11245)) ([5d5fa38](https://github.com/noir-lang/noir/commit/5d5fa38c794207c14e5b99a72f522f2e6bb4bd28)) +* Improve reference coercion logic ([#11286](https://github.com/noir-lang/noir/issues/11286)) ([19a4f17](https://github.com/noir-lang/noir/commit/19a4f17035d9585b62d1277415ec4a17c049fa02)) +* Increment depth counter in follow_bindings to prevent stack overflow ([#11461](https://github.com/noir-lang/noir/issues/11461)) ([35bc843](https://github.com/noir-lang/noir/commit/35bc8434211c6666dcce64ff4a7e07b0cb7d92f2)) +* Increment ref count when hoisting instructions returning array ([#11044](https://github.com/noir-lang/noir/issues/11044)) ([9bd7b3b](https://github.com/noir-lang/noir/commit/9bd7b3b2f9d010aad5ba99aa05d5e726d7e27d1d)) +* Let ExpressionSolver combine linear terms ([#11144](https://github.com/noir-lang/noir/issues/11144)) ([e576ac2](https://github.com/noir-lang/noir/commit/e576ac2c10e718d40b4fe32f1215fc150c190c46)) +* Let ExpressionSolver combine mul terms on failure ([#11262](https://github.com/noir-lang/noir/issues/11262)) ([d0bf6e0](https://github.com/noir-lang/noir/commit/d0bf6e086c4a05b30fb869d0a26e0abd8ba312a4)) +* Lookup method in trait constraints for structs ([#11533](https://github.com/noir-lang/noir/issues/11533)) ([be5bff8](https://github.com/noir-lang/noir/commit/be5bff831712b08c1c027924c0797bf9b93731f2)) +* Lower CtString to CtString ([#11163](https://github.com/noir-lang/noir/issues/11163)) ([dbbe0cf](https://github.com/noir-lang/noir/commit/dbbe0cfee702b8bcf3b2ff33f64bab3e84f823ac)) +* **lsp:** Autocomplete `use super::` and `use crate::` ([#11464](https://github.com/noir-lang/noir/issues/11464)) ([8a43224](https://github.com/noir-lang/noir/commit/8a43224d8f251b0e07b625994165ca24f219293f)) +* **lsp:** Correctly auto-import trait when completion trait method ([#11433](https://github.com/noir-lang/noir/issues/11433)) ([743dd9c](https://github.com/noir-lang/noir/commit/743dd9cfda36c629b5f9a10fb9699996be1b15f2)) +* **lsp:** Don't always process crate root doc comments ([#11296](https://github.com/noir-lang/noir/issues/11296)) ([46c1994](https://github.com/noir-lang/noir/commit/46c199403c82c0c81f3116901911a07ada74da26)) +* **LSP:** Visit crate root module doc comments ([#11216](https://github.com/noir-lang/noir/issues/11216)) ([84a070e](https://github.com/noir-lang/noir/commit/84a070e158c6c2b31264f3ab15588443bcae5cd6)) +* Mark array_set value as last used ([#11563](https://github.com/noir-lang/noir/issues/11563)) ([f9c4239](https://github.com/noir-lang/noir/commit/f9c4239cc43062e0d3c636bea481b07245de674c)) +* Mark bb predicates as used in merge_expression ([#11123](https://github.com/noir-lang/noir/issues/11123)) ([da06395](https://github.com/noir-lang/noir/commit/da063950925eade6172da1ed5910c2ef0a8127ff)) +* **monomorphization:** Use the bound type variables of the type of identifier for enums with unbound generics ([#11222](https://github.com/noir-lang/noir/issues/11222)) ([5860165](https://github.com/noir-lang/noir/commit/586016516ac9262d3899eb40b4b137faec002931)) +* Non-comptime globals can refer to comptime types ([#11306](https://github.com/noir-lang/noir/issues/11306)) ([d178979](https://github.com/noir-lang/noir/commit/d1789794ab4c3a7768a4510930488e44e6c27ba5)) +* Only cache ArraySet during constant folding if using constraint … ([#11110](https://github.com/noir-lang/noir/issues/11110)) ([c9a8bf8](https://github.com/noir-lang/noir/commit/c9a8bf882069681672e68b2612e4119592c4485a)) +* Oracles cannot return reference ([#11143](https://github.com/noir-lang/noir/issues/11143)) ([e7ba3f3](https://github.com/noir-lang/noir/commit/e7ba3f345749c6d58520f09bb6ca446be419a0c9)) +* **ownership:** Clone array last used in while condition ([#11113](https://github.com/noir-lang/noir/issues/11113)) ([8d4e50b](https://github.com/noir-lang/noir/commit/8d4e50bc2cff127e6d536e5142588fe48c27a0f2)) +* **parser:** Disallow items named underscore ([#11171](https://github.com/noir-lang/noir/issues/11171)) ([4be5c07](https://github.com/noir-lang/noir/commit/4be5c07d5c83b56204a35d5e29102c31e18f331b)) +* **parser:** Error if modifiers are not followed by an item ([#11469](https://github.com/noir-lang/noir/issues/11469)) ([b8b91bf](https://github.com/noir-lang/noir/commit/b8b91bf49ddccbbf061f03f1b773eed2de9a2578)) +* **parser:** Error on unexpected type expression in type alias ([#11190](https://github.com/noir-lang/noir/issues/11190)) ([f5f9af5](https://github.com/noir-lang/noir/commit/f5f9af5b33d596565c74152161a7a8c916cd54fd)) +* **parser:** Tuple access cannot be a call ([#11331](https://github.com/noir-lang/noir/issues/11331)) ([e92fce9](https://github.com/noir-lang/noir/commit/e92fce9c844404205af15ead5392cecf14231cd9)) +* Preserve stores to references escaping via returned arrays in mem2reg ([#11457](https://github.com/noir-lang/noir/issues/11457)) ([f911f40](https://github.com/noir-lang/noir/commit/f911f407eac9007935a25302b6bc533332395fa9)) +* Prevent infinite recursion checks in many cases ([#11448](https://github.com/noir-lang/noir/issues/11448)) ([b9d0ddb](https://github.com/noir-lang/noir/commit/b9d0ddbaebb2113b2ba77fe7e5eb33336017c5a1)) +* Prevent integer literals in non-numeric generic locations ([#11211](https://github.com/noir-lang/noir/issues/11211)) ([404f60f](https://github.com/noir-lang/noir/commit/404f60ff401cff2c89fe6c42b4afbd58cb7ea02f)) +* Recurse into array elements when tracking aliased references in mem2reg ([#11494](https://github.com/noir-lang/noir/issues/11494)) ([adf6db5](https://github.com/noir-lang/noir/commit/adf6db5d88c2c0029b10c0c09595207f51fce9cf)) +* Remove `impl From for MemoryValue` ([#11226](https://github.com/noir-lang/noir/issues/11226)) ([7c79ab8](https://github.com/noir-lang/noir/commit/7c79ab85c633c6d040749f32c2536722cd75c400)) +* Remove most blackbox panics ([#11136](https://github.com/noir-lang/noir/issues/11136)) ([78a5445](https://github.com/noir-lang/noir/commit/78a54455147d9ddbec669e78ebd107aed5245111)) +* Safe cast shift rhs to u32 in comptime interpreter ([#11151](https://github.com/noir-lang/noir/issues/11151)) ([bb95e52](https://github.com/noir-lang/noir/commit/bb95e527023095696a9795e53c1ccc1ccc64d61c)) +* Several varargs checks ([#11152](https://github.com/noir-lang/noir/issues/11152)) ([c3dae93](https://github.com/noir-lang/noir/commit/c3dae93ef23aa0d15693c4c75c9382f58157f2b8)) +* Share closure environment for constrained/unconstrained variants of a lambda function ([#11271](https://github.com/noir-lang/noir/issues/11271)) ([b8d4eea](https://github.com/noir-lang/noir/commit/b8d4eea2f8be5213bd570374c8106f1c176b2910)) +* **ssa:** Add `MAX_INTERPRETER_CALL_STACK_SIZE` to SSA interpreter ([#11264](https://github.com/noir-lang/noir/issues/11264)) ([be8004d](https://github.com/noir-lang/noir/commit/be8004dc2153c3b1b1d1c23278cc97becdb15d17)) +* **ssa:** Apply pending value replacements to terminators within simplify_cfg loop ([#11604](https://github.com/noir-lang/noir/issues/11604)) ([1dd5f53](https://github.com/noir-lang/noir/commit/1dd5f53a64e37b971513037798eb3d33988aa895)) +* **ssa:** Avoid creating cache entries for unvisited blocks in constant folding pass. ([#11595](https://github.com/noir-lang/noir/issues/11595)) ([324725b](https://github.com/noir-lang/noir/commit/324725b006ce69788609e60abdb351a85606608e)) +* **ssa:** Avoid generating invalid dispatch from ACIR to Brillig lambdas ([#11269](https://github.com/noir-lang/noir/issues/11269)) ([1c722cf](https://github.com/noir-lang/noir/commit/1c722cf07698d6aa76f1ba7e4a3b9871172521d4)) +* **ssa:** Clear aliases when marking references unknown ([#11487](https://github.com/noir-lang/noir/issues/11487)) ([a2d886e](https://github.com/noir-lang/noir/commit/a2d886ef05ab03c437bdf3544e78332d78ecfade)) +* **ssa:** Consider constraints on values already constrained to be equal to affect both ([#11603](https://github.com/noir-lang/noir/issues/11603)) ([ec990a1](https://github.com/noir-lang/noir/commit/ec990a1f050d711ef44eb98a9efba99c0453ca1b)) +* **ssa:** Count array call arguments as possible mutations when removing RC increments ([#11388](https://github.com/noir-lang/noir/issues/11388)) ([8d91700](https://github.com/noir-lang/noir/commit/8d917005204b0e9b15d26d6c983eccf577009f74)) +* **ssa:** Do not panic in `remove_if_else_pre_check` if values other than array/vector are returned ([#11272](https://github.com/noir-lang/noir/issues/11272)) ([bea20ef](https://github.com/noir-lang/noir/commit/bea20efd2f2463e92f54d4da4f16be2ac53f1fd9)) +* **ssa:** Handle inlining functions with no reachable return ([#11528](https://github.com/noir-lang/noir/issues/11528)) ([de30358](https://github.com/noir-lang/noir/commit/de3035859913df5f76069d10205d6d5f08c677de)) +* **ssa:** Keep store whose address is used even after flattening ([#11380](https://github.com/noir-lang/noir/issues/11380)) ([f6f96dd](https://github.com/noir-lang/noir/commit/f6f96dd52dcf151baaf301c3a9760555f5820ca5)) +* **ssa:** Mark all block parameters alias sets unknown when supplied unknown arguments ([#11379](https://github.com/noir-lang/noir/issues/11379)) ([413148b](https://github.com/noir-lang/noir/commit/413148b839411e9f25489f6c02ca20c4c0dccd80)) +* **ssa:** Mark known nested references as unknown when marking their outer references unknown ([#11387](https://github.com/noir-lang/noir/issues/11387)) ([fa8934d](https://github.com/noir-lang/noir/commit/fa8934d87c512ec2d8dddbc91457c09c4c668269)) +* **ssa:** Overflow in inclusive range for loops ([#10567](https://github.com/noir-lang/noir/issues/10567)) ([89c8d39](https://github.com/noir-lang/noir/commit/89c8d3923cb195d7be955b97e2653684d71db076)) +* **ssa:** Preserve EnableSideEffectsIf before RecursiveAggregation calls ([#11524](https://github.com/noir-lang/noir/issues/11524)) ([a4abe4e](https://github.com/noir-lang/noir/commit/a4abe4e90110465a03587297ae055afd7cfcaadc)) +* **ssa:** Prevent deduplication of pure calls across different predicates ([#11531](https://github.com/noir-lang/noir/issues/11531)) ([794cde4](https://github.com/noir-lang/noir/commit/794cde4a6048ac54b72aeb3825326dd4ac9e984e)) +* **ssa:** Prevent self deduplication ([#11511](https://github.com/noir-lang/noir/issues/11511)) ([a9bcd7f](https://github.com/noir-lang/noir/commit/a9bcd7f331ea0f5357c85245d144b926ed376e54)) +* **ssa:** Set the vector length of `black_box` inputs if they are constant ([#11273](https://github.com/noir-lang/noir/issues/11273)) ([e78f9c8](https://github.com/noir-lang/noir/commit/e78f9c8db0c1e6e0570481a8e13b59bf6768a6cf)) +* **ssa:** Tracking nested array aliases ([#11378](https://github.com/noir-lang/noir/issues/11378)) ([13ce5c8](https://github.com/noir-lang/noir/commit/13ce5c89c1edbfbf5e92c4cbf2258ea6e63f46b5)) +* **ssa:** Use `for_each_value_alias` in mem2reg `Call` handler for `instruction_input_references` ([#11530](https://github.com/noir-lang/noir/issues/11530)) ([c32d7a4](https://github.com/noir-lang/noir/commit/c32d7a41cb9889ee11073e02d8c5c7d78ef938cb)) +* Stop mem2reg from removing stores to references which are aliased in the future ([#11480](https://github.com/noir-lang/noir/issues/11480)) ([7670f96](https://github.com/noir-lang/noir/commit/7670f960b18557296c0cc2403cc08e9a08e9daca)) +* Trait impl on alias to (mutable) reference error ([#11297](https://github.com/noir-lang/noir/issues/11297)) ([a3382ab](https://github.com/noir-lang/noir/commit/a3382ab9ac016ddfafa82c95e786116c92fd229d)) +* Treat nested comptime blocks as regular blocks ([#11170](https://github.com/noir-lang/noir/issues/11170)) ([2d3f214](https://github.com/noir-lang/noir/commit/2d3f214547c972a902cb3cdd9e4b3231e14cb213)) +* Unify comptime expression/statement with target type ([#10678](https://github.com/noir-lang/noir/issues/10678)) ([08eefba](https://github.com/noir-lang/noir/commit/08eefba940e64b5118d6dfa18dfa949ab077456d)) +* Unify macro call type with actual type in comptime blocks ([#11411](https://github.com/noir-lang/noir/issues/11411)) ([091e39d](https://github.com/noir-lang/noir/commit/091e39df0d21a2311d24983b524a429bb77acc45)) +* Use declared type for numeric type alias expressions ([#11284](https://github.com/noir-lang/noir/issues/11284)) ([96ab611](https://github.com/noir-lang/noir/commit/96ab611108daefdf0873352976b18e79a04af920)) +* Utf-8 length for fmtstr ([#11510](https://github.com/noir-lang/noir/issues/11510)) ([60dabc3](https://github.com/noir-lang/noir/commit/60dabc3fb366b11303fc7533f089130121b2359e)) + + +### Miscellaneous Chores + +* Bump MSRV to 1.87.0 ([#11449](https://github.com/noir-lang/noir/issues/11449)) ([fe873b9](https://github.com/noir-lang/noir/commit/fe873b94e791f7c4d7c0d183030efb94fc1777ad)) +* Remove `ExpressionWidth` ([#11229](https://github.com/noir-lang/noir/issues/11229)) ([5f81abb](https://github.com/noir-lang/noir/commit/5f81abb976dfa4700a99ad3a6e21678316d9b831)) +* Remove bincode support ([#11132](https://github.com/noir-lang/noir/issues/11132)) ([833c0e3](https://github.com/noir-lang/noir/commit/833c0e386621e66c24ccab19b28702c02519a072)) +* Remove deprecated wrapping arithmetic functions ([#11158](https://github.com/noir-lang/noir/issues/11158)) ([e075566](https://github.com/noir-lang/noir/commit/e075566ba745f023c2d5cf2ccc46d8a4a6583c29)) +* Store brillig memory addresses as `u32` instead of `usize` ([#10933](https://github.com/noir-lang/noir/issues/10933)) ([90cb79a](https://github.com/noir-lang/noir/commit/90cb79ad0504a678ddc990d85e894d49c795c1ca)) +* Use `msgpack-compact` format by default ([#7810](https://github.com/noir-lang/noir/issues/7810)) ([ea2c41b](https://github.com/noir-lang/noir/commit/ea2c41b5b2678312f6d26098810fd8caaff585d4)) + ## [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) diff --git a/Cargo.lock b/Cargo.lock index df79d736fa3..85d4e811c8d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -4,7 +4,7 @@ version = 4 [[package]] name = "acir" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acir_field", @@ -37,7 +37,7 @@ dependencies = [ [[package]] name = "acir_field" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "ark-bls12-381", "ark-bn254 0.5.0", @@ -53,7 +53,7 @@ dependencies = [ [[package]] name = "acvm" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm_blackbox_solver", @@ -76,7 +76,7 @@ dependencies = [ [[package]] name = "acvm_blackbox_solver" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "aes", @@ -116,7 +116,7 @@ dependencies = [ [[package]] name = "acvm_js" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "bn254_blackbox_solver", @@ -832,7 +832,7 @@ dependencies = [ [[package]] name = "bn254_blackbox_solver" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm_blackbox_solver", @@ -862,7 +862,7 @@ dependencies = [ [[package]] name = "brillig" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir_field", "proptest", @@ -872,7 +872,7 @@ dependencies = [ [[package]] name = "brillig_vm" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm_blackbox_solver", @@ -1962,7 +1962,7 @@ dependencies = [ [[package]] name = "fm" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "codespan-reporting", "iter-extended", @@ -2861,7 +2861,7 @@ checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695" [[package]] name = "iter-extended" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" [[package]] name = "itertools" @@ -3374,7 +3374,7 @@ dependencies = [ [[package]] name = "nargo" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "brillig", @@ -3404,7 +3404,7 @@ dependencies = [ [[package]] name = "nargo_cli" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "ark-bn254 0.5.0", @@ -3475,7 +3475,7 @@ dependencies = [ [[package]] name = "nargo_doc" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "fm", "insta", @@ -3490,7 +3490,7 @@ dependencies = [ [[package]] name = "nargo_expand" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "nargo_fmt", "noirc_driver", @@ -3499,7 +3499,7 @@ dependencies = [ [[package]] name = "nargo_fmt" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "noirc_errors", "noirc_frontend", @@ -3512,7 +3512,7 @@ dependencies = [ [[package]] name = "nargo_fuzz_target" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "afl", "nargo", @@ -3522,7 +3522,7 @@ dependencies = [ [[package]] name = "nargo_toml" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "dirs", "fm", @@ -3606,7 +3606,7 @@ dependencies = [ [[package]] name = "noir_artifact_cli" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm", @@ -3631,7 +3631,7 @@ dependencies = [ [[package]] name = "noir_ast_fuzzer" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm", @@ -3662,7 +3662,7 @@ dependencies = [ [[package]] name = "noir_ast_fuzzer_fuzz" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "arbitrary", @@ -3680,7 +3680,7 @@ dependencies = [ [[package]] name = "noir_debugger" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "assert_cmd", @@ -3702,7 +3702,7 @@ dependencies = [ [[package]] name = "noir_greybox_fuzzer" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "build-data", @@ -3722,7 +3722,7 @@ dependencies = [ [[package]] name = "noir_inspector" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "assert_cmd", @@ -3741,7 +3741,7 @@ dependencies = [ [[package]] name = "noir_lsp" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "async-lsp", @@ -3773,7 +3773,7 @@ dependencies = [ [[package]] name = "noir_profiler" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "bn254_blackbox_solver", @@ -3801,7 +3801,7 @@ dependencies = [ [[package]] name = "noir_ssa_cli" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "base64", "clap", @@ -3823,7 +3823,7 @@ dependencies = [ [[package]] name = "noir_ssa_executor" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "base64", @@ -3840,7 +3840,7 @@ dependencies = [ [[package]] name = "noir_ssa_fuzzer" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "libfuzzer-sys", @@ -3858,7 +3858,7 @@ dependencies = [ [[package]] name = "noir_wasm" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "build-data", "console_error_panic_hook", @@ -3882,7 +3882,7 @@ dependencies = [ [[package]] name = "noirc_abi" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "iter-extended", @@ -3901,7 +3901,7 @@ dependencies = [ [[package]] name = "noirc_abi_wasm" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "build-data", @@ -3920,11 +3920,11 @@ dependencies = [ [[package]] name = "noirc_arena" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" [[package]] name = "noirc_artifacts" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm", @@ -3944,7 +3944,7 @@ dependencies = [ [[package]] name = "noirc_artifacts_info" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acir", "acvm", @@ -3959,7 +3959,7 @@ dependencies = [ [[package]] name = "noirc_driver" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "build-data", @@ -3978,7 +3978,7 @@ dependencies = [ [[package]] name = "noirc_errors" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "codespan-reporting", "fm", @@ -3989,7 +3989,7 @@ dependencies = [ [[package]] name = "noirc_evaluator" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "arbtest", @@ -4027,7 +4027,7 @@ dependencies = [ [[package]] name = "noirc_frontend" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "base64", @@ -4060,7 +4060,7 @@ dependencies = [ [[package]] name = "noirc_printable_type" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "iter-extended", @@ -4071,7 +4071,7 @@ dependencies = [ [[package]] name = "noirc_span" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "codespan", "serde", @@ -6016,7 +6016,7 @@ dependencies = [ [[package]] name = "ssa_verification" -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" dependencies = [ "acvm", "clap", diff --git a/Cargo.toml b/Cargo.toml index 0e9b5ed0a60..7e4be3eb8f9 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -62,7 +62,7 @@ resolver = "2" [workspace.package] # x-release-please-start-version -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" # x-release-please-end authors = ["The Noir Team "] edition = "2024" @@ -95,13 +95,13 @@ unnecessary_debug_formatting = "warn" [workspace.dependencies] # ACVM workspace dependencies -acir_field = { version = "1.0.0-beta.18", path = "acvm-repo/acir_field", default-features = false } -acir = { version = "1.0.0-beta.18", path = "acvm-repo/acir", default-features = false } -acvm = { version = "1.0.0-beta.18", path = "acvm-repo/acvm" } -brillig = { version = "1.0.0-beta.18", path = "acvm-repo/brillig", default-features = false } -brillig_vm = { version = "1.0.0-beta.18", path = "acvm-repo/brillig_vm", default-features = false } -acvm_blackbox_solver = { version = "1.0.0-beta.18", path = "acvm-repo/blackbox_solver", default-features = false } -bn254_blackbox_solver = { version = "1.0.0-beta.18", path = "acvm-repo/bn254_blackbox_solver", default-features = false } +acir_field = { version = "1.0.0-beta.19", path = "acvm-repo/acir_field", default-features = false } +acir = { version = "1.0.0-beta.19", path = "acvm-repo/acir", default-features = false } +acvm = { version = "1.0.0-beta.19", path = "acvm-repo/acvm" } +brillig = { version = "1.0.0-beta.19", path = "acvm-repo/brillig", default-features = false } +brillig_vm = { version = "1.0.0-beta.19", path = "acvm-repo/brillig_vm", default-features = false } +acvm_blackbox_solver = { version = "1.0.0-beta.19", path = "acvm-repo/blackbox_solver", default-features = false } +bn254_blackbox_solver = { version = "1.0.0-beta.19", path = "acvm-repo/bn254_blackbox_solver", default-features = false } # Noir compiler workspace dependencies fm = { path = "compiler/fm" } diff --git a/acvm-repo/acir/Cargo.toml b/acvm-repo/acir/Cargo.toml index 2adc0be8c92..8774fcf8c26 100644 --- a/acvm-repo/acir/Cargo.toml +++ b/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.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/acir_field/Cargo.toml b/acvm-repo/acir_field/Cargo.toml index c2dd8174473..40d09c268e3 100644 --- a/acvm-repo/acir_field/Cargo.toml +++ b/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.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/acvm/Cargo.toml b/acvm-repo/acvm/Cargo.toml index 725165bb13c..11f0e280bbb 100644 --- a/acvm-repo/acvm/Cargo.toml +++ b/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.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/acvm_js/Cargo.toml b/acvm-repo/acvm_js/Cargo.toml index fe0a3ca90a0..8393354a96f 100644 --- a/acvm-repo/acvm_js/Cargo.toml +++ b/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.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/acvm_js/package.json b/acvm-repo/acvm_js/package.json index 5243d25ea16..46b41bc8e00 100644 --- a/acvm-repo/acvm_js/package.json +++ b/acvm-repo/acvm_js/package.json @@ -1,6 +1,6 @@ { "name": "@noir-lang/acvm_js", - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "publishConfig": { "access": "public" }, diff --git a/acvm-repo/blackbox_solver/Cargo.toml b/acvm-repo/blackbox_solver/Cargo.toml index e3b95a1ea79..44e2ce16ff0 100644 --- a/acvm-repo/blackbox_solver/Cargo.toml +++ b/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.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/bn254_blackbox_solver/Cargo.toml b/acvm-repo/bn254_blackbox_solver/Cargo.toml index 77dabf32f21..0ab59e71a43 100644 --- a/acvm-repo/bn254_blackbox_solver/Cargo.toml +++ b/acvm-repo/bn254_blackbox_solver/Cargo.toml @@ -2,7 +2,7 @@ name = "bn254_blackbox_solver" description = "Solvers for black box functions which are specific for the bn254 curve" # x-release-please-start-version -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/brillig/Cargo.toml b/acvm-repo/brillig/Cargo.toml index 10e8da0ba36..141342a4f4a 100644 --- a/acvm-repo/brillig/Cargo.toml +++ b/acvm-repo/brillig/Cargo.toml @@ -2,7 +2,7 @@ name = "brillig" description = "Brillig is the bytecode ACIR uses for non-determinism." # x-release-please-start-version -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/acvm-repo/brillig_vm/Cargo.toml b/acvm-repo/brillig_vm/Cargo.toml index a91ff0ecbf6..10e95854759 100644 --- a/acvm-repo/brillig_vm/Cargo.toml +++ b/acvm-repo/brillig_vm/Cargo.toml @@ -2,7 +2,7 @@ name = "brillig_vm" description = "The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM" # x-release-please-start-version -version = "1.0.0-beta.18" +version = "1.0.0-beta.19" # x-release-please-end authors.workspace = true edition.workspace = true diff --git a/compiler/wasm/package.json b/compiler/wasm/package.json index c060e3897d9..5bdf6db1477 100644 --- a/compiler/wasm/package.json +++ b/compiler/wasm/package.json @@ -3,7 +3,7 @@ "contributors": [ "The Noir Team " ], - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "license": "(MIT OR Apache-2.0)", "main": "dist/main.js", "types": "./dist/types/src/index.d.cts", diff --git a/tooling/noir_codegen/package.json b/tooling/noir_codegen/package.json index 56459c2ea37..fce0e203a7c 100644 --- a/tooling/noir_codegen/package.json +++ b/tooling/noir_codegen/package.json @@ -3,7 +3,7 @@ "contributors": [ "The Noir Team " ], - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "packageManager": "yarn@4.5.2", "license": "(MIT OR Apache-2.0)", "type": "module", diff --git a/tooling/noir_js/package.json b/tooling/noir_js/package.json index df5c04cd2e4..9dba404fcbb 100644 --- a/tooling/noir_js/package.json +++ b/tooling/noir_js/package.json @@ -3,7 +3,7 @@ "contributors": [ "The Noir Team " ], - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "packageManager": "yarn@4.5.2", "license": "(MIT OR Apache-2.0)", "type": "module", diff --git a/tooling/noir_js_types/package.json b/tooling/noir_js_types/package.json index fc283747436..2970907edaf 100644 --- a/tooling/noir_js_types/package.json +++ b/tooling/noir_js_types/package.json @@ -4,7 +4,7 @@ "The Noir Team " ], "packageManager": "yarn@4.5.2", - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "license": "(MIT OR Apache-2.0)", "homepage": "https://noir-lang.org/", "repository": { diff --git a/tooling/noirc_abi_wasm/package.json b/tooling/noirc_abi_wasm/package.json index 3e5074d46a6..471f86b03de 100644 --- a/tooling/noirc_abi_wasm/package.json +++ b/tooling/noirc_abi_wasm/package.json @@ -3,7 +3,7 @@ "contributors": [ "The Noir Team " ], - "version": "1.0.0-beta.18", + "version": "1.0.0-beta.19", "license": "(MIT OR Apache-2.0)", "homepage": "https://noir-lang.org/", "repository": {