projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df2781c) | patch
Fixing a garbage collection issue in simplifyWithCare(). Bug 729.
authorTim King <taking@google.com>
Thu, 24 Mar 2016 22:06:24 +0000 (15:06 -0700)
committerTim King <taking@google.com>
Thu, 24 Mar 2016 22:06:24 +0000 (15:06 -0700)
commit9c00e3484d1f0ca6b2f10e549b24f717c402cd9f
tree56e1160b02ca334a691cd47498ccba4f6e0b321ftree
parentdf2781c86c2c546e72a8f6204c98e59387229420commit | diff
Fixing a garbage collection issue in simplifyWithCare(). Bug 729.
src/theory/ite_utilities.cpp diff | blob | history
src/theory/ite_utilities.h diff | blob | history