projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9db0ef7 831f2b7)
Merge pull request #103 from timothy-king/uniq-ptr
authorTim King <taking@cs.nyu.edu>
Thu, 10 Nov 2016 01:04:02 +0000 (17:04 -0800)
committerGitHub <noreply@github.com>
Thu, 10 Nov 2016 01:04:02 +0000 (17:04 -0800)
Adds a C++05 version of unique_ptr. Used this to solve a garbage coll…


Trivial merge