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.

Sign up for GitHub

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

Jump to bottom

feat: build simple dictionary from inspecting ACIR program #5264

Merged
merged 19 commits into from
Jun 20, 2024
Merged

feat: build simple dictionary from inspecting ACIR program #5264

merged 19 commits into from
Jun 20, 2024

Commits on Jun 13, 2024

  1. feat: add fuzzer for Noir programs

    @TomAFrench
    TomAFrench committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    8d9a380 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. chore: restructure code and improve integer strategies

    @TomAFrench
    TomAFrench committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    b37f324 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. feat: hook fuzzing up to test functions

    @TomAFrench
    TomAFrench committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    c398302 View commit details
    Browse the repository at this point in the history

  2. chore: restrict usage of proptest in noirc_abi

    @TomAFrench
    TomAFrench committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    a26edb3 View commit details
    Browse the repository at this point in the history

  3. chore: restrict visibility

    @TomAFrench
    TomAFrench committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    8454474 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into tf/fuzzer-mvp 

    * master:
  feat(experimental): Implement macro calls & splicing into `Expr` values (#5203)
  feat: add BoundedVec::map (#5250)
  chore: add no predicate to poseidon2 (#5252)
  feat: add `set` and `set_unchecked` methods to `Vec` and `BoundedVec` (#5241)
    @TomAFrench
    TomAFrench committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    4d06fa0 View commit details
    Browse the repository at this point in the history

  5. chore: fuzz stdlib

    @TomAFrench
    TomAFrench committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    fbb97ae View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. chore: use proptest's value tree implementations

    @TomAFrench
    TomAFrench committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    c36130e View commit details
    Browse the repository at this point in the history

  2. chore: allow test functions with args in elaborator

    @TomAFrench
    TomAFrench committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    cb2a885 View commit details
    Browse the repository at this point in the history

  3. chore: revert changes to noirc_abi

    @TomAFrench
    TomAFrench committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    c5ffa8f View commit details
    Browse the repository at this point in the history

  4. chore: nit

    @TomAFrench
    TomAFrench committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    8913296 View commit details
    Browse the repository at this point in the history

  5. chore: delete commented code

    @TomAFrench
    TomAFrench committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    7d4e1cc View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. chore: nits

    @TomAFrench
    TomAFrench committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    0dea198 View commit details
    Browse the repository at this point in the history

  2. chore: remove explicit counterexample tracking

    @TomAFrench
    TomAFrench committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4488450 View commit details
    Browse the repository at this point in the history

  3. feat: build simple dictionary from inspecting ACIR program

    @TomAFrench
    TomAFrench committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    b065e27 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Merge branch 'master' into tf/build-dictionary

    @TomAFrench
    TomAFrench committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    438f35e View commit details
    Browse the repository at this point in the history

  2. chore: avoid panics in bitshifts when building dictionary

    @TomAFrench
    TomAFrench committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    7bae217 View commit details
    Browse the repository at this point in the history

  3. Update tooling/fuzzer/src/strategies/uint.rs

    @TomAFrench
    TomAFrench authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    71bbcbb View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Update test_programs/noir_test_success/fuzzer_checks/src/main.nr

    @TomAFrench
    TomAFrench authored Jun 20, 2024
    Configuration menu
    Copy the full SHA
    030e1cb View commit details
    Browse the repository at this point in the history