1. 0795f23 Clean up ScopedThreadStateChange to use ObjPtr by Mathieu Chartier · 8 years ago
  2. 6f82fbd Implement VerifierDeps encoding/decoding by David Brazdil · 8 years ago
  3. ca3c8c3 Collect verifier dependencies by David Brazdil · 8 years ago