Spellcheck

feat: acir_formal_proofs #29787

Sign in to view logs

Triggered via pull request May 22, 2025 12:41

defkit

synchronize #8140

sn/acir_formal_proofs

Status Success

Total duration 37s

Artifacts –

spellcheck.yml

on: pull_request

Annotations

10 warnings

Code: acvm-repo/acir/src/circuit/opcodes.rs#L176

Unknown word (RETURNDATA)

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

Unknown word (deserializers)

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

Unknown word (kvmap)

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

Unknown word (cerr)

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

Unknown word (endl)

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

Unknown word (kvmap)

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

Unknown word (cerr)

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

Unknown word (endl)

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

Unknown word (kvmap)

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

Unknown word (kvmap)