Spellcheck

feat(ssa): Implement missing brillig constraints SSA check #22638

Sign in to view logs

Triggered via pull request December 11, 2024 10:49

rkarabut

synchronize #6658

rk/directed-graph-ssa-check

Status Success

Total duration 37s

Artifacts –

spellcheck.yml

on: pull_request

Annotations

10 warnings

Code: acvm-repo/acir/src/circuit/black_box_functions.rs#L13

Unknown word (PKCS)

Code: acvm-repo/acir/src/lib.rs#L21

Unknown word (deserializers)

Code: acvm-repo/acvm/src/compiler/transformers/csat.rs#L95

Unknown word (bivariate)

Code: acvm-repo/acvm/src/pwg/blackbox/mod.rs#L30

Unknown word (prehashed)

Code: acvm-repo/acvm/src/pwg/blackbox/mod.rs#L30

Unknown word (prehashed)

Code: acvm-repo/acvm/src/pwg/blackbox/mod.rs#L109

Unknown word (prehashed)

Code: acvm-repo/acvm/src/pwg/blackbox/mod.rs#L123

Unknown word (prehashed)

Code: acvm-repo/acvm/src/pwg/mod.rs#L58

Unknown word (passd)

Code: acvm-repo/acvm/tests/solver.rs#L1377

Unknown word (injectivity)

Code: acvm-repo/acvm/tests/solver.rs#L1379

Unknown word (injectivity)