projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 949e19c) | patch
Remove PtrCloser (#198)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 17 Jul 2017 05:18:10 +0000 (01:18 -0400)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2017 05:18:10 +0000 (01:18 -0400)
commitefac53e969ccefc01bace1a5f095dfd3570c3767
tree0cfcf50944619bc0e7c452f9aa918a56ebd3d540tree
parent949e19cbc2881996e5c5eed613f4506264482039commit | diff
Remove PtrCloser (#198)

With C++11, we don't need PtrCloser anymore because we can
just use std::unique_ptr.
src/base/Makefile.am diff | blob | history
src/base/ptr_closer.h [deleted file] blob | history
src/expr/node_builder.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt1/Smt1.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/tptp/Tptp.g diff | blob | history