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-09-13 | Support anonymous structs in checklocks. | Adin Scannell |
2021-07-01 | Mix checklocks and atomic analyzers. | Adin Scannell |
2021-04-26 | nogo: enable bazel workers and other optimizations. | Adin Scannell |
2021-03-03 | Add checklocks analyzer. | Bhasker Hariharan |