| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Avoid gcc tautological-compare warnings. | Jason Evans | 2016-11-17 | 1 | -6/+20 |
| * | 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 |
