Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Now we have a proper C++ library, use std::unique_ptr. | Ian Rogers | 2014-05-19 | 1 | -2/+2 |
* | Compatibility layer to transition from UniquePtr to std::unique_ptr. | Ian Rogers | 2014-05-15 | 1 | -1/+1 |
* | Refactor verification results. | Vladimir Marko | 2014-01-28 | 1 | -0/+312 |