Code

feat: Fuzzer for noir programs#6770

Code

Draft

Rumata888 wants to merge 54 commits intomasternoir-lang/noir:masterfrom is/fuzzernoir-lang/noir:is/fuzzerCopy head branch name to clipboard

+7,608-1,236

Commits

Commits on Nov 21, 2024

• something

  Rumata888

  committed
  f098748

• we have a coverage fuzzer

  Rumata888

  committed
  1c5d23f

Commits on Nov 28, 2024

• wip

  Rumata888

  committed
  587fc79

Commits on Nov 29, 2024

• int mutator

  Rumata888

  committed
  22508d1

• fast power schedule and dictionary from inputs

  Rumata888

  committed
  26f9cc2

• Update mutation count window

  Rumata888

  committed
  68c1c50

Commits on Dec 2, 2024

• json

  Rumata888

  committed
  3eff9d7

• unused cleanup

  Rumata888

  committed
  f32287a

• listing all

  Rumata888

  committed
  917c8cd

Commits on Dec 4, 2024

• Remove uint strategy

  Rumata888

  committed
  4348f2e

Commits on Dec 9, 2024

• Fix, better string mutator, acir coverage

  Rumata888

  committed
  41cca17

• Useful errors

  Rumata888

  committed
  6d06e9d

Commits on Dec 11, 2024

• Disk corpus

  Rumata888

  committed
  b641342

Commits on Dec 12, 2024

• remove incorrect prioritization and add splicing

  Rumata888

  committed
  b7cea21

Commits on Dec 13, 2024

• fix int mutator

  Rumata888

  committed
  e98a52d

Commits on Dec 16, 2024

• Primitive parallelism

  Rumata888

  committed
  fd2ecb0

Commits on Dec 17, 2024

• relatively fast parallelism

  Rumata888

  committed
  91bf283

Commits on Dec 23, 2024

• some cleanup

  Rumata888

  committed
  41c04f3

• Tracing conditional mov

  Rumata888

  committed
  368d118

• Stupid cmp coverage in brillig

  Rumata888

  committed
  2fecd1f

• Comparison coverage

  Rumata888

  committed
  6813907

• refactor start

  Rumata888

  committed
  cf72aba

Commits on Dec 26, 2024

• fixed parallelism

  Rumata888

  committed
  3f34dac

Commits on Jan 1, 2025

• connected show output

  Rumata888

  committed
  1bf3d63

Commits on Jan 3, 2025

• autoejection from corpus and better update times

  Rumata888

  committed
  6a48a2e

• remove noisy print

  Rumata888

  committed
  588a680

• Separate asserts

  Rumata888

  committed
  1fe9b6e

• storing failing inputs

  Rumata888

  committed
  ed4e87b

Commits on Jan 6, 2025

• started refactoring

  Rumata888

  committed
  8cbcbd0

• Merge branch 'master' into my domain

  Rumata888

  committed
  1f5b788

• fixes

  Rumata888

  committed
  a31afef

• some refactoring

  Rumata888

  committed
  0613f61

• refactoring, continued

  Rumata888

  committed
  aa5e26f

Commits on Jan 7, 2025

• refactored field mutations

  Rumata888

  committed
  9f21a45

Commits on Jan 8, 2025

• feat: don't simplify SSA instructions when creating them from a string (#6948)

  Show description for 4083782
  

  2 peopleauthored and

  Rumata888

  committed
  4083782

• feat: lock on Nargo.toml on several nargo commands (#6941)

  

  asterite

  authored and

  Rumata888

  committed
  f98b966

• feat!: turn CannotReexportItemWithLessVisibility into an error (#6952)

  

  asterite

  authored and

  Rumata888

  committed
  07457c0

• chore: Separate unconstrained functions during monomorphization (#6894)

  Show description for 38c89f4
  

  2 peopleauthored and

  Rumata888

  committed
  38c89f4

• chore: Move comment as part of #6945 (#6959)

  

  vezenovm

  authored and

  Rumata888

  committed
  b728151

• feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (#6893)

  Show description for 6c60f92
  

  3 peopleauthored and

  Rumata888

  committed
  6c60f92

• chore: simplify boolean in a mul of a mul (#6951)

  Show description for 8e870ed
  

  2 peopleauthored and

  Rumata888

  committed
  8e870ed

• feat: don't report warnings for dependencies (#6926)

  

  asterite

  authored and

  Rumata888

  committed
  368356f

• fix: error on missing function parameters (#6967)

  

  asterite

  authored and

  Rumata888

  committed
  432c477

• fix: don't fail parsing macro if there are parser warnings (#6969)

  

  asterite

  authored and

  Rumata888

  committed
  ca46630

• feat!: turn TypeIsMorePrivateThenItem into an error (#6953)

  

  asterite

  authored and

  Rumata888

  committed
  9ceb9f9

• fix: Start RC at 1 again (#6958)

  

  jfecher

  authored and

  Rumata888

  committed
  e9c0fed

• fix: wrong module to lookup trait when using crate or super (#6974)

  

  asterite

  authored and

  Rumata888

  committed
  df4b035

• feat!: update aes128_encrypt to return an array (#6973)

  

  TomAFrench

  authored and

  Rumata888

  committed
  1c19ac2

• feat: --pedantic-solving flag (#6716)

  Show description for 9cca916
  

  3 peopleauthored and

  Rumata888

  committed
  9cca916

• feat!: type-check trait default methods (#6645)

  

  asterite

  authored and

  Rumata888

  committed
  30514fe

• feat!: require trait method calls (foo.bar()) to have the trait in scope (imported) (#6895)

  Show description for 8879eee
  

  2 peopleauthored and

  Rumata888

  committed
  8879eee

• fix: do not panic on indices which are not valid u32s (#6976)

  

  TomAFrench

  authored and

  Rumata888

  committed
  6d85cd6

• docs and race fix

  Rumata888

  committed
  6078d5c

Commits on Jan 9, 2025

• String mutation refactor

  Rumata888

  committed
  f9a033b