Concurrency check#431

Draft

inducer wants to merge 13 commits intomainfrom

concurrency-check

Commits on Oct 22, 2019

Commits on Oct 24, 2019

make some global variables class attributes instead
alexfikl
committed

Commits on Oct 26, 2019

some more work on the concurrency checker
alexfikl
committed

Commits on Oct 27, 2019

some more tweaks to concurrency checker.
alexfikl
committed

Commits on Oct 29, 2019

add decorator
alexfikl
committed

Commits on Nov 4, 2019

do not use weakrefs for Events in case someone deletes them
alexfikl
committed

Commits on Nov 5, 2019

Commits on Feb 22, 2021