Skip to content

feat: Sync from noir#11847

Merged
TomAFrench merged 10 commits intomasterfrom
sync-noir
Feb 10, 2025
Merged

feat: Sync from noir#11847
TomAFrench merged 10 commits intomasterfrom
sync-noir

Conversation

@AztecBot
Copy link
Collaborator

@AztecBot AztecBot commented Feb 8, 2025

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 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)
END_COMMIT_OVERRIDE

AztecBot and others added 6 commits February 8, 2025 08:02
…-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 TomAFrench enabled auto-merge (squash) February 9, 2025 16:46
@TomAFrench TomAFrench disabled auto-merge February 9, 2025 16:48
@TomAFrench TomAFrench closed this Feb 9, 2025
@TomAFrench TomAFrench reopened this Feb 9, 2025
AztecBot and others added 4 commits February 10, 2025 08:03
…-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
Copy link
Member

TomAFrench commented Feb 10, 2025

@ludamad is the prover client test failure expected, or do I need to dig into this more? (Can see boxes is broken in master)

@ludamad
Copy link
Collaborator

ludamad commented Feb 10, 2025

That should not be failing

@ludamad
Copy link
Collaborator

ludamad commented Feb 10, 2025

Ah nevermind it's broken in master RIP

@TomAFrench
Copy link
Member

😢

@TomAFrench TomAFrench merged commit b883911 into master Feb 10, 2025
79 of 81 checks passed
@TomAFrench TomAFrench deleted the sync-noir branch February 10, 2025 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants