Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat!: Move WitnessMap type into ACVM to avoid leaking BTreeMap type #1267

Closed
wants to merge 25 commits into from

Conversation

phated
Copy link
Contributor

@phated phated commented May 1, 2023

Related issue(s)

Resolves #

Description

Summary of changes

Consumption of noir-lang/acvm#252 and noir-lang/acvm-backend-barretenberg#152

This also removes the WitnessMap type alias in noirc_abi because it is a full type introduced by ACVM.

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

@phated phated requested review from TomAFrench and kevaundray May 1, 2023 22:14
phated and others added 21 commits May 2, 2023 13:55
chore!: Split filesystem errors off from CliError

chore!: Make all run functions take a backend and pass it from the CLI entry
* phated/acvm-0.12.0: (45 commits)
  chore!: Update to ACVM 0.12.0
  official release of backend
  feat: use dummy constructor for bb call
  chore: add missing `?`
  chore: use `try_vecmap` in old `vecmap` locations
  chore: update `acvm-backend-barretenberg` to 0.1.0 commit
  latest master
  fix: improve variable resolution
  test: re enabled sort test
  chore: update cargo tomls
  feat: adapted to heterogeneous bb calls
  remove unneeded import
  fix grep problems
  chore: replace long `Backend` type parameters with `B`
  update to latest commit
  chore: Make CliError generic over a Backend
  chore: Update nargo core to return backend errors
  chore!: Update to acvm 0.11.0
  chore(parser): Parser error optimisation (#1292)
  chore(ssa refactor): Implement function inlining (#1293)
  ...
@TomAFrench TomAFrench changed the base branch from master to phated/acvm-0.12.0 May 12, 2023 07:29
@TomAFrench TomAFrench force-pushed the phated/witness-map branch from d545ed1 to c152a7f Compare May 12, 2023 07:53
@phated
Copy link
Contributor Author

phated commented May 15, 2023

Merging this into #1339 since the witness map change was merged into acvm 0.12

@phated phated force-pushed the phated/acvm-0.12.0 branch from 091fad1 to e1f5b61 Compare May 15, 2023 20:12
@phated
Copy link
Contributor Author

phated commented May 15, 2023

This has now been rolled into #1339

@phated phated closed this May 15, 2023
@TomAFrench TomAFrench deleted the phated/witness-map branch July 18, 2023 05:29
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