1. 700a402 Now we have a proper C++ library, use std::unique_ptr. by Ian Rogers · 11 years ago
  2. 507dfdd Compatibility layer to transition from UniquePtr to std::unique_ptr. by Ian Rogers · 11 years ago
  3. c7f8320 Refactor verification results. by Vladimir Marko · 12 years ago