projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d0c4c7) | patch
Renaming the class PtrCloser to not cause confusion with unique_ptr.
authorTim King <taking@google.com>
Wed, 9 Nov 2016 22:09:25 +0000 (14:09 -0800)
committerTim King <taking@google.com>
Wed, 9 Nov 2016 22:09:25 +0000 (14:09 -0800)
commit831f2b7176bc3db49e2fb354918a71df896ad63a
tree3cef485dbe92e5b0d200d314e844545de1714692tree
parent8d0c4c7e8eb6c65facf87ad3b2e27f407096836ccommit | diff
Renaming the class PtrCloser to not cause confusion with unique_ptr.
src/base/Makefile.am diff | blob | history
src/base/cvc4_unique_ptr.h [deleted file] blob | history
src/base/ptr_closer.h [new file with mode: 0644] blob
src/expr/metakind_template.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history