Age | Commit message (Expand) | Author |
---|---|---|
2021-11-03 | Add automatic lock inference and globals support. | Adin Scannell |
2021-11-02 | Minor checklocks improvements. | Adin Scannell |
2021-07-01 | Mix checklocks and atomic analyzers. | Adin Scannell |
2021-03-03 | Add checklocks analyzer. | Bhasker Hariharan |