chore(noir): Release 0.7.0

[kevaundray]

🤖 I have created a release beep boop

root: 0.7.0

0.7.0 (2023-06-19)

⚠ BREAKING CHANGES

• Update to acvm 0.14.0 (#1594)
• update to ACVM 0.13.0 (#1393)
• stdlib: remove unnecessary merkle functions from stdlib (#1424)
• stdlib: return update verification functions to return bool
• stdlib: update stdlib functions to return bool where appropriate (#1409)
• Change serialization of struct field order to match the user defined order (#1166)
• Update to ACVM 0.12.0 (#1339)
• remove concept of noir fallbacks for foreign functions (#1371)
• nargo: retire print-acir in favour of flag (#1328)

Features

• Allow warnings by default (#1383) (e7a0d5c)
• ci: update noir to build wasm with a nix flake file (#1208) (2209369)
• lsp: Publish diagnostics on file save (#1676) (c53bfc8)
• Make for-loop range be a polymorphic integer instead of just Field in unconstrained functions (#1583) (77fba56)
• multiple item imports in use statement (#1466) (1dcd2ee)
• nargo: Add lsp command to start server that reports no capabilities (#1560) (e28529d)
• nargo: Allow user-specified file for prover inputs instead of Prover.toml (#1531) (91cbec6)
• nargo: retire print-acir in favour of flag (#1328) (dffa3c5)
• pass in closure to Driver to signal backend opcode support (#1349) (1e958c2)
• remove concept of noir fallbacks for foreign functions (#1371) (dbec6f2)
• ssa refactor: mem2reg opt pass (#1363) (5d1efd5)
• stdlib: EdDSA sig verification (#1313) (04a15e0)
• stdlib: return update verification functions to return bool (2b2be1e)
• stdlib: update stdlib functions to return bool where appropriate (#1409) (2b2be1e)
• Update to acvm 0.14.0 (#1594) (f2d6b7b)
• update to ACVM 0.15.0 (#1616) (3109239)
• use RAM/ROM opcode when supported by the backend (#1282) (242f07b)

Bug Fixes

• Change serialization of struct field order to match the user defined order (#1166) (809aa3a)
• Fix modulo operator for comptime values (#1361) (ba15d6d)
• Fix nargo not showing compiler errors or warnings (#1694) (4233068)
• frontend: Avoid panic if dependency cannot be resolved (#1719) (f35b346)
• nargo: prevent -p arg clash (#1605) (4867f4e)
• noirc_driver: Move error printing into nargo (#1598) (561cd63)
• ssa refactor: Add missing calls to resolve in Instruction::simplify (#1678) (07b07d0)
• ssa refactor: BigUint for radix (#1715) (00cf462)
• ssa refactor: Change the result of simplifying Eq and Lt to bool (#1672) (1d48929)
• ssa refactor: Do not remove enable_side_effects instructions in die pass (#1673) (cbee4c0)
• ssa refactor: euclidean division for unsigned (#1721) (a1596bc)
• ssa refactor: filter unreachable blocks from cfg (#1523) (202c345)
• ssa refactor: fix array element propagation through constant folding and DIE (#1674) (301e244)
• ssa refactor: Fix array elements not being mapped to new values (#1717) (4ebcbeb), closes #1688
• ssa refactor: fix bad constant type caching (#1593) (37c0be6)
• ssa refactor: Fix constant folding looping forever (#1611) (afe58cc)
• ssa refactor: Fix failed_to_inline_a_function being set for intrinsics (#1675) (377ac5c)
• ssa refactor: Fix flatten_cfg for ifs with no else (#1671) (7ce8cce)
• ssa refactor: Fix mem2reg pass not always removing unused stores (#1677) (8310544)
• ssa refactor: Fix ssa-gen of nested ifs (#1406) (5fd976e)
• ssa refactor: Fix stack overflow during loop unrolling (#1666) (c7a7216)
• ssa refactor: Implement array equality in SSA-gen (#1704) (0d31d83)
• ssa refactor: more comprehensive instruction simplification (#1735) (97d6747)
• ssa refactor: pad radix result (#1730) (8e9b612)
• ssa refactor: resolve replaced value ids for printing (#1535) (08ca847)
• ssa refactor: safe to query cfg for single block programs (#1401) (e2a23b3)
• ssa refactor: schnorr signature handling (#1727) (98ecf93)
• ssa refactor: Translate strings as arrays of characters (#1669) (2ba2ef6)
• ssa refactor: truncate when simplifying constant casts (#1714) (a2108d7)
• ssa: conditionalise array indexes under IF statements (#1395) (ddca3b4)
• stdlib: Workaround for Field comparison error in EdDSA signature verification (#1372) (e790c9f)

Miscellaneous Chores

• stdlib: remove unnecessary merkle functions from stdlib (#1424) (50fcb3c)
• Update to ACVM 0.12.0 (#1339) (b938c7e)
• update to ACVM 0.13.0 (#1393) (22dee75)

noir_wasm: 0.7.0

0.7.0 (2023-06-19)

⚠ BREAKING CHANGES

• update to ACVM 0.13.0 (#1393)

Features

• ci: update noir to build wasm with a nix flake file (#1208) (2209369)
• pass in closure to Driver to signal backend opcode support (#1349) (1e958c2)

Bug Fixes

• Fix nargo not showing compiler errors or warnings (#1694) (4233068)
• noirc_driver: Move error printing into nargo (#1598) (561cd63)

Miscellaneous Chores

• update to ACVM 0.13.0 (#1393) (22dee75)

---

This PR was generated with Release Please. See documentation.

[kevaundray]

@kobyhallx @TomAFrench or @phated going to push a pre-release version, can you please take a look?

[kobyhallx]

👍 LGTM

[kevaundray]

🤖 Release is at https://github.com/noir-lang/noir/releases/tag/root-v0.7.0 🌻

[kevaundray]

🤖 Release is at https://github.com/noir-lang/noir/releases/tag/noir_wasm-v0.7.0 🌻