Skip to content

chore: Bump Noir reference#13781

Merged
TomAFrench merged 19 commits intomasterfrom
bump-noir
Apr 28, 2025
Merged

chore: Bump Noir reference#13781
TomAFrench merged 19 commits intomasterfrom
bump-noir

Conversation

@AztecBot
Copy link
Collaborator

@AztecBot AztecBot commented Apr 24, 2025

Automated pull of nightly from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat: let nargo test use the new greybox fuzzer (noir-lang/noir#8234)
chore(docs): add fixed bugs to list (noir-lang/noir#8201)
fix(parser): do not use Ident::default() (noir-lang/noir#8224)
feat(fuzz): Add experimental comptime code generator (noir-lang/noir#8207)
fix: let SSA parser parse calls to print (noir-lang/noir#8232)
feat: added 1, -1 case for inversions in brillig (noir-lang/noir#8225)
chore: clippy (noir-lang/noir#8220)
fix: don't take implicitly added named generics when checking where clauses (noir-lang/noir#8184)
chore(docs): Defunctionalization and some minor cleanup (noir-lang/noir#8217)
feat: add --no-fuzz and --only-fuzz to nargo test (noir-lang/noir#8213)
chore: add regression test for panic encountered in bigcurve library. (noir-lang/noir#8211)
fix: validate numeric types when passing them to a FunctionBuilder (noir-lang/noir#8215)
chore: refactor constrainedness checks on trait impls (noir-lang/noir#8170)
chore(test): Add smoke test for AST generation (noir-lang/noir#8048)
chore: bump more dependencies (noir-lang/noir#8208)
chore: Don't use i1 in the AST fuzzer (noir-lang/noir#8204)
fix: Do not panic if RHS constant in division has more bits than the operand (noir-lang/noir#8197)
chore: bump cargo deps (noir-lang/noir#8205)
fix: Handle truncating constants to 128 bits (noir-lang/noir#8180)
fix!: disallow the i1 type (noir-lang/noir#8172)
chore(fuzz): Make sure main makes at least one call (noir-lang/noir#8202)
fix: Use get_local_or_global_instruction in try_optimize_array_set_from_previous_get (noir-lang/noir#8200)
fix: returns 0 for right shift overflow (noir-lang/noir#8189)
feat: avoid overflow check when subtracting from a value that is the maximum for its bitsize (noir-lang/noir#8190)
feat: optimize checked_to_unchecked to take into account multiplications (noir-lang/noir#8188)
chore: document ssa inline_simple_functions (noir-lang/noir#8169)
chore(docs): remove_unreachable SSA pass (noir-lang/noir#8196)
chore: Change AST fuzzer recursion limit (noir-lang/noir#8173)
chore(acir): Unify how we display witness indices (noir-lang/noir#8192)
fix: Detect ABI change of fuzzing harnesses (noir-lang/noir#8193)
chore(acir): Test that BLACKBOX::RANGE display the number of bits (noir-lang/noir#8191)
fix(debugger): send idle at loop end + fix test (noir-lang/noir#8187)
fix: Use get_local_or_global_instruction when simplifying IfElse (noir-lang/noir#8185)
fix(parser): avoid using Location::dummy() (noir-lang/noir#8178)
chore: Push a bug list (noir-lang/noir#8186)
feat(greybox_fuzzer): Should_fail and should_fail_with (noir-lang/noir#8118)
chore: move unsigned overflow check from acir/brillig to ssa (noir-lang/noir#8163)
feat: location tree for debug_info (noir-lang/noir#7034)
fix: Use IntegerConstant for loop boundaries in unrolling (noir-lang/noir#8094)
fix(ssa): Recursive shared Brillig entry points (noir-lang/noir#8099)
chore: enable '--pedantic-solving' on more tests (noir-lang/noir#7701)
chore(readme): Update acvm-repo READMEs (noir-lang/noir#8150)
chore(test): add test_programs dir for expected-panic tests (noir-lang/noir#8147)
chore(docs): minor updates in solidity doc (noir-lang/noir#8160)
feat(debugger): debug test functions (noir-lang/noir#7958)
chore: migrate recursive proof test to ultrahonk (noir-lang/noir#8038)
chore: bump glob package (noir-lang/noir#8159)
chore: bump external pinned commits (noir-lang/noir#8139)
chore(docs): patch web app tutorial in 1.0.0-beta3 versioned docs (noir-lang/noir#8158)
END_COMMIT_OVERRIDE

@TomAFrench
Copy link
Member

@asterite this is still an issue it seems

@asterite
Copy link
Contributor

Is the issue different now? http://ci.aztec-labs.com/a1ef20b4b0405997

I'll try "Update branch" and see...

@asterite
Copy link
Contributor

asterite commented Apr 24, 2025

Yes, it seems it's a different issue but I don't understand what it is:

Parent Log: http://ci.aztec-labs.com/1745496543134
Command: cargo build --release --locked
Date: Thu Apr 24 12:11:04 UTC 2025
Status: 101
Took: 1s

    Updating crates.io index
error: the lock file /home/aztec-dev/aztec-packages/avm-transpiler/Cargo.lock needs to be updated but --locked was passed to prevent this
If you want to try to generate the lock file without accessing the network, remove the --locked flag and use --offline instead.

@TomAFrench
Copy link
Member

Ah apologies, I was looking at the wrong CI logs. I can handle this issue.

@fcarreiro fcarreiro removed their request for review April 25, 2025 09:19
@TomAFrench TomAFrench added this pull request to the merge queue Apr 28, 2025
@TomAFrench TomAFrench removed this pull request from the merge queue due to a manual request Apr 28, 2025
@TomAFrench TomAFrench added this pull request to the merge queue Apr 28, 2025
Merged via the queue into master with commit a6cd0ba Apr 28, 2025
7 checks passed
@TomAFrench TomAFrench deleted the bump-noir branch April 28, 2025 13:13
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