Spawn threads created from unknown functions as non-unique#1187

Merged

michael-schwarz merged 7 commits intomasterfrom issue_843

Nov 2, 2023

+214-157

Commits on Sep 24, 2023

Commits on Sep 25, 2023

Turn optional argument into named argument
michael-schwarz
committed

Commits on Sep 28, 2023

Also pass to threadspawn for history TID + uniqueness
michael-schwarz
committed
Add example for race despite uniqueness counter
michael-schwarz
committed
Add check that only one mainfun is specified to privatizations
michael-schwarz
committed

Commits on Nov 1, 2023

Merge branch 'master' into issue_843
michael-schwarz
committed