projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 561cd0f) | patch
Fixing a memory leak in QuantInfo::d_var_mg.
authorTim King <taking@google.com>
Thu, 24 Mar 2016 17:44:05 +0000 (10:44 -0700)
committerTim King <taking@google.com>
Thu, 24 Mar 2016 17:46:52 +0000 (10:46 -0700)
commit1af684a72f31f54243eca9ef902c0e7ecd8486d7
treeae687915f6a7d60a4f1447e56027f86c3f45dd41tree
parent561cd0f930098501f445dcec12e51c5c1915852acommit | diff
Fixing a memory leak in QuantInfo::d_var_mg.
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history
src/theory/quantifiers/rewrite_engine.cpp diff | blob | history