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(nargo): add flag to verify created proofs #737

Merged
merged 9 commits into from
Feb 14, 2023
Merged

Commits on Feb 4, 2023

  1. Configuration menu
    Copy the full SHA
    21572d0 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. chore: rename variable

    TomAFrench committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    3e5a248 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d2c70b2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    63c0442 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2023

  1. Configuration menu
    Copy the full SHA
    7c1cb4a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f4d6eae View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    023fe9b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2801ea5 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2023

  1. Merge branch 'master' into checked-prove

    * master: (28 commits)
      chore(ci): Add release token to enable runs against release PR (#840)
      feat(ssa): array sort (#754)
      chore: update readme (#811)
      chore: fix clippy (#825)
      chore: remove stale comment on HirFunction.unchecked_from_expr (#827)
      chore: Getter naming refactor (#803)
      chore: updated "HirFunction::unsafe_from_expr" to "HirFunction::unchecked_from_expr" (#823)
      chore: Forbid unsafe code (#824)
      chore: Follow rust naming convention (#801)
      feat(ci): Add concurrency group for rust workflow (#806)
      chore(ssa): rename impl method to follow Rust guideline (#782)
      fix(nargo): `nargo test` now only runs test functions defined in the current module (#805)
      chore(nargo): Remove outdated error message when Prover/Verifier.toml is missing (#807)
      chore(ssa): rename codegen to ssa_gen + reorg of `Value` struct (#797)
      chore(nargo): abstract paths from nargo's working directory (#761)
      chore(ci): Rename workflows (#804)
      feat: Impls with generics (#798)
      chore(ssa): Add doc comments on `Opcode` struct (#778)
      fix: operators issuing type errors when used with matching integer types arising from generic code (#789)
      chore(nargo)!: bump MSRV to 1.66.0 (#799)
      ...
    TomAFrench committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    9faec51 View commit details
    Browse the repository at this point in the history