Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Deprecate SendChannel.offer and ReceiveChannel.poll, replace their usages alo... | Vsevolod Tolstopyatov | 2021-04-13 | 1 | -15/+15 |
* | Add the model checking mode in Lincheck tests (#2326) | Nikita Koval | 2020-11-28 | 1 | -0/+224 |