Fix: symbolic locksets use may-equality when invalidating on unlock#1987

Draft

Copilot wants to merge 4 commits intomasterfrom

copilot/fix-symbolic-locksets-invalidations

Commits on Apr 12, 2026

Commits on Apr 15, 2026

Remove TODO from 30-symb_lockset_mayunlock.c: race is now detected with may-equality fix

Copilot
and
vesalvojdani
authored

Commits on Apr 19, 2026

Use semantic_equal directly for AddrOf(Var) lockset elements in Symbolic.remove

Copilot
and
michael-schwarz
authored