Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make tsd cleanup functions optional, remove noop cleanup functions. | Jason Evans | 2016-06-06 | 1 | -7/+0 |
* | Add rtree element witnesses. | Jason Evans | 2016-06-03 | 1 | -1/+2 |
* | Mangle tested functions as n_witness_* rather than witness_*_impl. | Jason Evans | 2016-05-11 | 1 | -9/+8 |
* | Optimize witness fast path. | Jason Evans | 2016-05-11 | 1 | -118/+4 |
* | Resolve bootstrapping issues when embedded in FreeBSD libc. | Jason Evans | 2016-05-11 | 1 | -13/+23 |
* | Fix witness/fork() interactions. | Jason Evans | 2016-04-26 | 1 | -1/+13 |
* | Fix fork()-related lock rank ordering reversals. | Jason Evans | 2016-04-26 | 1 | -2/+35 |
* | Fix malloc_mutex_[un]lock() to conditionally check witness. | Jason Evans | 2016-04-17 | 1 | -10/+0 |
* | Add witness, a simple online locking validator. | Jason Evans | 2016-04-14 | 1 | -0/+206 |