Refine symex pointer unsoundness#8780

Open

tautschnig wants to merge 3 commits intodiffblue:developfrom

tautschnig:refine-symex-pointer-unsoundness

Commits on Dec 1, 2025

Weak-memory examples: selectively use thread-local variables
tautschnig
committed
goto-symex/concurrency: limit unsoundness-abort to dereferencing shared pointers
tautschnig
committed
Do not use value-set supported simplification with multiple threads
tautschnig
committed