projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22ff3d4) | patch
Fixed proof unitialized memory and minor memory leaks.
authorLiana Hadarean <lianahady@gmail.com>
Mon, 16 Mar 2015 13:31:21 +0000 (14:31 +0100)
committerLiana Hadarean <lianahady@gmail.com>
Mon, 16 Mar 2015 13:31:21 +0000 (14:31 +0100)
commitf591f7c1671b8345b56c8d3e3adef9627c5fa8c1
treed803b326d82817c5c8934944bed958d092b0b5c3tree
parent22ff3d48f9b2ff31c2c82c296052fc9badcfb800commit | diff
Fixed proof unitialized memory and minor memory leaks.
src/proof/proof_manager.cpp diff | blob | history
src/proof/sat_proof.cpp diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history