HB-relationship involving thread creations while mutexes are held#1913

Open

dabund24 wants to merge 58 commits into

goblint:masterfrom

dabund24:descendant-locksets

Commits on Jan 15, 2026

mustlock history analysis
dabund24
committed

Commits on Jan 16, 2026

Commits on Jan 18, 2026

descendant lockset racing tests with multiple thread creations
dabund24
committed

Commits on Jan 21, 2026

Commits on Jan 26, 2026

refactor functions related to thread descendants
dabund24
committed
locally abstract type for `happens_before` function in `descendantLockset` analysis
dabund24
committed

Commits on Jan 28, 2026

also print mustlock history in `A` of descendant lockset analysis
dabund24
committed

Commits on Feb 2, 2026

Commits on Feb 20, 2026

threadenter of descendant lockset analysis
dabund24
committed

Commits on Feb 23, 2026

Merge branch 'master' into descendant-locksets
dabund24
authored

Commits on May 8, 2026