feat: --pedantic-solving flag
#22334
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L31
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L31
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L133
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/blackbox/mod.rs#L147
Unknown word (prehashed)
|
|
Check spelling:
acvm-repo/acvm/src/pwg/mod.rs#L58
Unknown word (passd)
|
|
Check spelling:
acvm-repo/acvm/tests/solver.rs#L1441
Unknown word (injectivity)
|
|
Check spelling:
acvm-repo/acvm/tests/solver.rs#L1449
Unknown word (injectivity)
|
|
Check spelling:
acvm-repo/blackbox_solver/src/bigint.rs#L117
Unknown word (modpow)
|
|
Check spelling:
acvm-repo/blackbox_solver/src/bigint.rs#L225
Unknown word (funcs)
|
|
Check spelling:
acvm-repo/blackbox_solver/src/bigint.rs#L226
Unknown word (Primality)
|
Loading