Home / Topics / 72

Constraint dedup & snapshot

23 memories · 6 remembered, 17 forgotten (26% kept).

Label

Written by llm:claude-sonnet-5-5 on 2026-10-15T04:38:15Z. Change it with angr-memories topics label 72 "<label>".

Key prefixes

invariant 6 · avoid 2 · snapshot 2 · add 1

Nearest the centre

add-constraint-raw-dedup-83pct-csaw, dtrl-dedup-bimodal-kept, bench-add-constraint-dedup-distribution, mwbp-assume-dedup-design, snapshot-constraint-count-pin, invariant-dedup-set-ptr

Members

• avoid-add-constraint-for-context-rebuild
• fork-constraint-count-seed-from-num-constraints
• invariant-dedup-set-ptr
• invariant-residual-sink-vs-assumed-ir
• snapshot-constraint-count-pin
• snapshot-solver-smtlib2-design
• add-constraint-raw-dedup-83pct-csaw
• avoid-snapshot-ptr-dedup-py-vs-rustbv
• bench-add-constraint-dedup-distribution
• benchmark-kol7-no-visible-change
• callback-constraint-bottleneck
• cargo-lib-test-flake-add-constraint-raw
• dedup-hit-counter-test-flakiness
• dtrl-dedup-bimodal-kept
• flaky-test-dedup-hit-counter
• gmad2-dedup-no-false-positive
• invariant-add-constraints-partial-batch
• invariant-dedup-hit-rate-bimodal
• invariant-dedup-seeding-quadratic-cost
• invariant-test-batch-eval-stay-in-range
• kol7-batched-constraints-api
• mwbp-assume-dedup-design
• sfp9-dedup-null-result