projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a956123) | patch
Fixing memory leaks for garbage collection of ResChains in the sat proof implementati...
authorTim King <taking@google.com>
Tue, 26 Apr 2016 21:51:04 +0000 (14:51 -0700)
committerTim King <taking@google.com>
Tue, 26 Apr 2016 21:51:04 +0000 (14:51 -0700)
commit653828ccb09cdbd80dd8f3b40e4b664a8745081b
tree1e959334f37a4c5a6f1cfc4f4cac0e26cf7f134atree
parenta9561238ac2ce5fc0bcd7f81368057181adf971ecommit | diff
Fixing memory leaks for garbage collection of ResChains in the sat proof implementation. As a part of tracking this down, I've modified a number of accessor functions in TSatProof to be const. An expert in this code will need to do a pass over this.
src/proof/sat_proof.h diff | blob | history
src/proof/sat_proof_implementation.h diff | blob | history