feat: --pedantic-solving flag
#23402
Annotations
10 warnings
|
Check spelling:
acvm-repo/acir/src/circuit/black_box_functions.rs#L13
Unknown word (PKCS)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L30
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L30
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L115
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L129
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/mod.rs#L58
Unknown word (passd)
|
|
Check spelling:
acvm-repo/acvm/tests/solver.rs#L1394
Unknown word (injectivity)
|
|
Check spelling:
acvm-repo/acvm/tests/solver.rs#L1402
Unknown word (injectivity)
|
|
Check spelling:
acvm-repo/blackbox_solver/src/bigint.rs#L118
Unknown word (modpow)
|
|
Check spelling:
acvm-repo/blackbox_solver/src/bigint.rs#L223
Unknown word (funcs)
|
Loading