feat: Sync from noir #11847
Merged
feat: Sync from noir #11847
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…-lang/noir#7325) chore: bump noir_bigcurve timeout (noir-lang/noir#7322) fix!: check abi integer input is within signed range (noir-lang/noir#7316) chore: add timeouts to reports CI (noir-lang/noir#7317) fix: allows for infinite brillig loops (noir-lang/noir#7296) feat: simplify `Ord` implementation for arrays (noir-lang/noir#7305) feat: `assert` and `assert_eq` are now expressions (noir-lang/noir#7313) chore: fix memory reports in CI (noir-lang/noir#7311) chore: remove Recoverable (noir-lang/noir#7307) feat: Sync from aztec-packages (noir-lang/noir#7293) chore: reduce number of benchmarking scripts (noir-lang/noir#7285) fix: error on if without else when type mismatch (noir-lang/noir#7302) fix: error on trailing doc comment (noir-lang/noir#7300) fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299) fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290) chore: push inlining info code into a submodule (noir-lang/noir#7266) chore: create a CI action to download nargo and add to path (noir-lang/noir#7281) chore: add sha256 library to test suite (noir-lang/noir#7278) feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267) chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276) fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
…-lang/noir#7325) chore: bump noir_bigcurve timeout (noir-lang/noir#7322) fix!: check abi integer input is within signed range (noir-lang/noir#7316) chore: add timeouts to reports CI (noir-lang/noir#7317) fix: allows for infinite brillig loops (noir-lang/noir#7296) feat: simplify `Ord` implementation for arrays (noir-lang/noir#7305) feat: `assert` and `assert_eq` are now expressions (noir-lang/noir#7313) chore: fix memory reports in CI (noir-lang/noir#7311) chore: remove Recoverable (noir-lang/noir#7307) feat: Sync from aztec-packages (noir-lang/noir#7293) chore: reduce number of benchmarking scripts (noir-lang/noir#7285) fix: error on if without else when type mismatch (noir-lang/noir#7302) fix: error on trailing doc comment (noir-lang/noir#7300) fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299) fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290) chore: push inlining info code into a submodule (noir-lang/noir#7266) chore: create a CI action to download nargo and add to path (noir-lang/noir#7281) chore: add sha256 library to test suite (noir-lang/noir#7278) feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267) chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276) fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
) chore: bump noir_bigcurve timeout (noir-lang/noir#7322) fix!: check abi integer input is within signed range (noir-lang/noir#7316) chore: add timeouts to reports CI (noir-lang/noir#7317) fix: allows for infinite brillig loops (noir-lang/noir#7296) feat: simplify `Ord` implementation for arrays (noir-lang/noir#7305) feat: `assert` and `assert_eq` are now expressions (noir-lang/noir#7313) chore: fix memory reports in CI (noir-lang/noir#7311) chore: remove Recoverable (noir-lang/noir#7307) feat: Sync from aztec-packages (noir-lang/noir#7293) chore: reduce number of benchmarking scripts (noir-lang/noir#7285) fix: error on if without else when type mismatch (noir-lang/noir#7302) fix: error on trailing doc comment (noir-lang/noir#7300) fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299) fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290) chore: push inlining info code into a submodule (noir-lang/noir#7266) chore: create a CI action to download nargo and add to path (noir-lang/noir#7281) chore: add sha256 library to test suite (noir-lang/noir#7278) feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267) chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276) fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
TomAFrench
approved these changes
Feb 9, 2025
…-lang/noir#7325) chore: bump noir_bigcurve timeout (noir-lang/noir#7322) fix!: check abi integer input is within signed range (noir-lang/noir#7316) chore: add timeouts to reports CI (noir-lang/noir#7317) fix: allows for infinite brillig loops (noir-lang/noir#7296) feat: simplify `Ord` implementation for arrays (noir-lang/noir#7305) feat: `assert` and `assert_eq` are now expressions (noir-lang/noir#7313) chore: fix memory reports in CI (noir-lang/noir#7311) chore: remove Recoverable (noir-lang/noir#7307) feat: Sync from aztec-packages (noir-lang/noir#7293) chore: reduce number of benchmarking scripts (noir-lang/noir#7285) fix: error on if without else when type mismatch (noir-lang/noir#7302) fix: error on trailing doc comment (noir-lang/noir#7300) fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299) fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290) chore: push inlining info code into a submodule (noir-lang/noir#7266) chore: create a CI action to download nargo and add to path (noir-lang/noir#7281) chore: add sha256 library to test suite (noir-lang/noir#7278) feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267) chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276) fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
) chore: bump noir_bigcurve timeout (noir-lang/noir#7322) fix!: check abi integer input is within signed range (noir-lang/noir#7316) chore: add timeouts to reports CI (noir-lang/noir#7317) fix: allows for infinite brillig loops (noir-lang/noir#7296) feat: simplify `Ord` implementation for arrays (noir-lang/noir#7305) feat: `assert` and `assert_eq` are now expressions (noir-lang/noir#7313) chore: fix memory reports in CI (noir-lang/noir#7311) chore: remove Recoverable (noir-lang/noir#7307) feat: Sync from aztec-packages (noir-lang/noir#7293) chore: reduce number of benchmarking scripts (noir-lang/noir#7285) fix: error on if without else when type mismatch (noir-lang/noir#7302) fix: error on trailing doc comment (noir-lang/noir#7300) fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299) fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290) chore: push inlining info code into a submodule (noir-lang/noir#7266) chore: create a CI action to download nargo and add to path (noir-lang/noir#7281) chore: add sha256 library to test suite (noir-lang/noir#7278) feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267) chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276) fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
|
@ludamad is the prover client test failure expected, or do I need to dig into this more? (Can see boxes is broken in master) |
|
That should not be failing |
|
Ah nevermind it's broken in master RIP |
|
😢 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Automated pull of development from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: avoid stack overflow on many comments in a row (noir-lang/noir#7325)
chore: bump noir_bigcurve timeout (noir-lang/noir#7322)
fix!: check abi integer input is within signed range (noir-lang/noir#7316)
chore: add timeouts to reports CI (noir-lang/noir#7317)
fix: allows for infinite brillig loops (noir-lang/noir#7296)
feat: simplify
Ordimplementation for arrays (noir-lang/noir#7305)feat:
assertandassert_eqare now expressions (noir-lang/noir#7313)chore: fix memory reports in CI (noir-lang/noir#7311)
chore: remove Recoverable (noir-lang/noir#7307)
feat: Sync from aztec-packages (noir-lang/noir#7293)
chore: reduce number of benchmarking scripts (noir-lang/noir#7285)
fix: error on if without else when type mismatch (noir-lang/noir#7302)
fix: error on trailing doc comment (noir-lang/noir#7300)
fix: always normalize ssa when priting at least one pass (noir-lang/noir#7299)
fix: mark field division and modulo as requiring predicate for all necessary types (noir-lang/noir#7290)
chore: push inlining info code into a submodule (noir-lang/noir#7266)
chore: create a CI action to download nargo and add to path (noir-lang/noir#7281)
chore: add sha256 library to test suite (noir-lang/noir#7278)
feat: infer lambda parameter types from return type and let type (noir-lang/noir#7267)
chore: replace benchmarks on fast test suites with a cut-off (noir-lang/noir#7276)
fix(ssa): Unused functions removals post folding constant Brillig calls (noir-lang/noir#7265)
END_COMMIT_OVERRIDE