[WIP] Thread Collider: Race detection / Formal Verification of Nim concurrent programs#127

Open

mratsim wants to merge 5 commits intomasterfrom race-detection

+646

Commits on May 6, 2020

some race detection sanitizing commands + comment on testing
mratsim
committed

Commits on May 7, 2020

introduce Thread Collider to solve #18 and nim-lang/RFCs#222 and reproduce the spurious livelock/deadlock and multithreaded corruption we have in CI
mratsim
committed
Add a fiber library for simulating threads in the collider
mratsim
committed

Commits on May 8, 2020

Add a vector click for causal ordering of events
mratsim
committed

Commits on May 9, 2020

Stash/Outline the types in the Thread Collider
mratsim
committed