Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove Valgrind support. | Jason Evans | 2016-05-13 | 1 | -114/+0 |
* | Resolve bootstrapping issues when embedded in FreeBSD libc. | Jason Evans | 2016-05-11 | 1 | -6/+6 |
* | Fix a compilation error. | Jason Evans | 2016-04-14 | 1 | -2/+2 |
* | Add witness, a simple online locking validator. | Jason Evans | 2016-04-14 | 1 | -5/+7 |
* | mark some conditions as unlikely | Daniel Micay | 2014-09-11 | 1 | -6/+6 |
* | Optimize Valgrind integration. | Jason Evans | 2014-04-15 | 1 | -0/+112 |