projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fa16f9) | patch
Adds a C++05 version of unique_ptr. Used this to solve a garbage collection problem...
authorTim King <taking@google.com>
Mon, 7 Nov 2016 06:27:00 +0000 (22:27 -0800)
committerTim King <taking@google.com>
Mon, 7 Nov 2016 06:27:00 +0000 (22:27 -0800)
commitb92880a5cfb374f4650052ba93919f473075926a
treebc3ea5bceac2be29de3c3155c00bce8968fd7c91tree
parent7fa16f98bbc1cdfa450c55086dc093a9963b63d5commit | diff
Adds a C++05 version of unique_ptr. Used this to solve a garbage collection problem caused by memory leaks of heap allocated Parsers.
src/base/Makefile.am diff | blob | history
src/base/cvc4_unique_ptr.h [new file with mode: 0644] blob
src/main/driver_unified.cpp diff | blob | history