Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-08-07 | Distinguish between internal/external wait deactivation in scheduler | Boris Kolpackov | 1 | -7/+16 | |
This turns out to be necessary for the deadlock detection to work properly. | |||||
2019-08-06 | Implement general deadlock detection via monitoring thread | Boris Kolpackov | 1 | -1/+12 | |
2019-07-01 | Split build system into library and driver | Boris Kolpackov | 1 | -0/+709 | |