Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Header refactoring: unify and de-catchall witness code. | David Goldblatt | 2017-05-24 | 1 | -92/+80 |
* | Add witness_assert_depth[_to_rank](). | Jason Evans | 2017-02-02 | 1 | -12/+39 |
* | Remove extraneous parens around return arguments. | Jason Evans | 2017-01-21 | 1 | -4/+4 |
* | Update brace style. | Jason Evans | 2017-01-21 | 1 | -26/+14 |
* | Remove leading blank lines from function bodies. | Jason Evans | 2017-01-13 | 1 | -7/+0 |
* | Add rtree element witnesses. | Jason Evans | 2016-06-03 | 1 | -13/+19 |
* | Resolve bootstrapping issues when embedded in FreeBSD libc. | Jason Evans | 2016-05-11 | 1 | -58/+58 |
* | Add witness, a simple online locking validator. | Jason Evans | 2016-04-14 | 1 | -0/+278 |