angr-memories

Clippy lint discipline

32 memories · 14 remembered, 18 forgotten (44% kept).

Label
Written by llm:claude-sonnet-5-5 on 2026-10-15T04:38:04Z. Change it with angr-memories topics label 68 "<label>".
Key prefixes
clippy 23 · invariant 4 · avoid 3 · deny 1
Nearest the centre
clippy-pedantic-deliberate-keep, clippy-rust-symex-progress-2026-06-10, clippy-rust-symex-progress-2026-06-06, invariant-solver-unwrap-deny-enforced, clippy-backlog-campaign-progress, clippy-fix-only-touches-targeted-bucket

Members