Skip to content

chore!: Update to ACVM 0.12.0#1339

Merged
TomAFrench merged 18 commits intomasterfrom
phated/acvm-0.12.0
May 24, 2023
Merged

chore!: Update to ACVM 0.12.0#1339
TomAFrench merged 18 commits intomasterfrom
phated/acvm-0.12.0

Conversation

@phated
Copy link
Copy Markdown
Contributor

@phated phated commented May 11, 2023

Related issue(s)

Resolves #1302

Description

Summary of changes

This builds upon #1332 and switches the dependency overrides to using the patch syntax. I'm creating this draft because it is needed as the basis of my CRS work and we can keep it updated for other ACVM 0.12 updates.

Dependency additions / changes

Test additions / changes

Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt with default settings.
  • I have linked this PR to the issue(s) that it resolves.
  • I have reviewed the changes on GitHub, line by line.
  • I have ensured all changes are covered in the description.

Documentation needs

  • This PR requires documentation updates when merged.

Additional context

@kevaundray
Copy link
Copy Markdown
Contributor

Seems the MacOS error was spurious so I restarted CI

Base automatically changed from phated/acvm-0.11 to master May 12, 2023 06:09
TomAFrench and others added 5 commits May 18, 2023 02:34
* master:
  fix: Fix modulo operator for comptime values (#1361)
  chore: clarify that `verify_signature` takes a hashed message (#1365)
  feat: pass in closure to `Driver` to signal backend opcode support (#1349)
  feat(nargo)!: retire print-acir in favour of flag (#1328)
  chore(ssa): enable cse for assert (#1350)
  chore(ssa refactor): Add basic instruction simplification (#1329)
  chore(noir): Release 0.6.0 (#1279)
@phated phated requested a review from TomAFrench May 22, 2023 17:33
@phated phated marked this pull request as ready for review May 22, 2023 17:33
@phated phated linked an issue May 22, 2023 that may be closed by this pull request
1 task
@phated phated requested review from kevaundray and kobyhallx May 22, 2023 17:55
Co-authored-by: Blaine Bublitz <blaine.bublitz@gmail.com>
Co-authored-by: Tom French <tom@tomfren.ch>
TomAFrench
TomAFrench previously approved these changes May 23, 2023
Comment thread crates/nargo_cli/src/cli/check_cmd.rs Outdated
Comment thread crates/nargo_cli/src/cli/compile_cmd.rs Outdated
Comment thread crates/nargo_cli/src/cli/compile_cmd.rs Outdated
Comment thread crates/nargo_cli/src/cli/fs/common_reference_string.rs Outdated
Comment thread crates/nargo_cli/src/cli/fs/common_reference_string.rs Outdated
Comment thread crates/nargo_cli/src/cli/fs/common_reference_string.rs Outdated
Comment thread flake.nix
Copy link
Copy Markdown
Contributor

@kevaundray kevaundray left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mostly looks fine, for TODOs we should make issues so that we don't need to parse the codebase to figure these out and relevant discussions can be had in the issue

Copy link
Copy Markdown
Contributor

@vezenovm vezenovm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One minor comment, though it is not blocking. Good with merging once issues are made for the TODOs

Comment thread crates/nargo_cli/src/cli/prove_cmd.rs
TomAFrench
TomAFrench previously approved these changes May 24, 2023
* master:
  chore(ssa refactor): Add loop unrolling pass (#1364)
  chore: Add terms added in ssa refactor to `cspell` (#1385)
  chore(ssa refactor): Optimize constant `jmpif`s into `jmp`s (#1374)
  feat: Allow warnings by default (#1383)
  chore(github): Update GitHub Pull Request Template (#1370)
  chore(github): Update GitHub Bug Report Template (#1368)
  chore(ssa refactor): Update mem2reg pass to work with multiple functions and blocks (#1375)
  chore(ssa refactor): Add pass to simplify the control flow graph (#1373)
  chore(github): Update GitHub Feature Request Template (#1369)
@TomAFrench TomAFrench enabled auto-merge May 24, 2023 11:11
@TomAFrench TomAFrench added this pull request to the merge queue May 24, 2023
Merged via the queue into master with commit b938c7e May 24, 2023
@TomAFrench TomAFrench deleted the phated/acvm-0.12.0 branch May 24, 2023 12:10
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.

Nargo should cache CRS instead of leaving to backends

5 participants