git.libre-soc.org Git - cvc5.git/commit

author	ajreynol <andrew.j.reynolds@gmail.com>
	Tue, 1 Nov 2016 18:20:49 +0000 (13:20 -0500)
committer	ajreynol <andrew.j.reynolds@gmail.com>
	Tue, 1 Nov 2016 18:20:49 +0000 (13:20 -0500)
commit	8e0fce94790249ff7aff84ff4500bb96e2ebb9e9
tree	25e65718cff712f13688e452ffc1d4b459cd7367	tree
parent	3506b13f4d298095e8405b32b05e838f17dbe809	commit \| diff

Working memory leak free version, changes interface to pointers.

23 files changed:

src/compat/cvc3_compat.cpp		diff \| blob \| history
src/expr/datatype.cpp		diff \| blob \| history
src/expr/datatype.h		diff \| blob \| history
src/expr/datatype.i		diff \| blob \| history
src/expr/expr.i		diff \| blob \| history
src/expr/expr_manager.i		diff \| blob \| history
src/expr/expr_manager_template.cpp		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/type.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/smt/boolean_terms.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/datatypes/kinds		diff \| blob \| history