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

author	Tim King <taking@cs.nyu.edu>
	Wed, 15 Nov 2017 10:58:30 +0000 (02:58 -0800)
committer	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 15 Nov 2017 10:58:30 +0000 (02:58 -0800)
commit	3c130b44fdecc62b1ace2a739e77f913cd606aa0
tree	6abfb806dd45c83606c04dda5c26e9c410ac2ee1	tree
parent	85df7998e4362e0a9c796146d07d7b9e91045a31	commit \| diff

Adding garbage collection for Proof objects. (#1294)

25 files changed:

src/proof/arith_proof.cpp		diff \| blob \| history
src/proof/arith_proof.h		diff \| blob \| history
src/proof/array_proof.cpp		diff \| blob \| history
src/proof/array_proof.h		diff \| blob \| history
src/proof/proof_manager.cpp		diff \| blob \| history
src/proof/proof_manager.h		diff \| blob \| history
src/proof/proof_output_channel.cpp		diff \| blob \| history
src/proof/proof_output_channel.h		diff \| blob \| history
src/proof/theory_proof.cpp		diff \| blob \| history
src/proof/uf_proof.cpp		diff \| blob \| history
src/proof/uf_proof.h		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/smt/smt_engine_check_proof.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/theory_test_utils.h		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/util/proof.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history
test/unit/theory/theory_white.h		diff \| blob \| history