[WIP] Concurrency with pointers#8917

Draft

tautschnig wants to merge 11 commits intodiffblue:developfrom

tautschnig:concurrency-sound-deref

Commits on Mar 27, 2026

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
feat: create may-alias objects for shared pointer dereferences in concurrent context
tautschnig
committed
feat: add alias-aware partial-order constraints for may-alias concurrency events
tautschnig
committed
feat: add may-alias regression tests for concurrent pointer dereference
tautschnig
committed
Fix clang-format issues in concurrency may-alias code

tautschnig
and
kiro-agent
committed