Home / Topics / 8

Lazy solver fork & materialization

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

Label

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

Key prefixes

z3 6 · avoid 4 · solver 3 · grub 2

Nearest the centre

z3-lazy-fork-solver-discipline, solver-fork-o-n-root-cause-symcontext-fork, z3-materialize-is-solver-replay, avoid-z3-solver-translate-same-context, lazy-solver-materialization, z3-incremental-discipline-li83-audit

Members

• avoid-lazy-solver-fork
• avoid-z3-solver-set-params-for-random-seed
• iaol1-seed-pin-empirically-broken
• ovqja5-qfbv-smt-route-infeasible
• per-fork-solver-share-infeasible
• solver-test-pattern-fork-witness
• avoid-lazy-fork-assume-no-impact
• avoid-z3-solver-translate-same-context
• benchmark-lazy-solves-engagement-audit
• grub-z3-crash-fixed
• grub-z3-translate-panic
• iaol-z3-seed-gap
• invariant-hk7k-design-options
• invariant-smtlib2-named-constant-identity
• lazy-solver-materialization
• lazy-solves-late-binding
• smtlib2-round-trip-floor
• solver-fork-O1
• solver-fork-o-n-root-cause-symcontext-fork
• xfvf-spike-conclusion
• z3-global-param-set-pattern
• z3-incremental-discipline-li83-audit
• z3-lazy-fork-solver-discipline
• z3-materialize-is-solver-replay
• z3-patched-api-from-string
• z3-solver-translate-same-context-bug-z3-solver