summaryrefslogtreecommitdiffstats
path: root/src/witness.c
Commit message (Expand)AuthorAgeFilesLines
* Add witness_assert_depth[_to_rank]().Jason Evans2017-02-021-8/+9
* Replace tabs following #define with spaces.Jason Evans2017-01-211-9/+9
* Update brace style.Jason Evans2017-01-211-18/+9
* Remove leading blank lines from function bodies.Jason Evans2017-01-131-6/+0
* Make tsd cleanup functions optional, remove noop cleanup functions.Jason Evans2016-06-061-7/+0
* Add rtree element witnesses.Jason Evans2016-06-031-1/+2
* Mangle tested functions as n_witness_* rather than witness_*_impl.Jason Evans2016-05-111-9/+8
* Optimize witness fast path.Jason Evans2016-05-111-118/+4
* Resolve bootstrapping issues when embedded in FreeBSD libc.Jason Evans2016-05-111-13/+23
* Fix witness/fork() interactions.Jason Evans2016-04-261-1/+13
* Fix fork()-related lock rank ordering reversals.Jason Evans2016-04-261-2/+35
* Fix malloc_mutex_[un]lock() to conditionally check witness.Jason Evans2016-04-171-10/+0
* Add witness, a simple online locking validator.Jason Evans2016-04-141-0/+206