projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6d4879) | patch
Freeing CegConjecture::d_ceg_si. Also making d_ceg_si a provate member of CegConjecture.
authorTim King <taking@google.com>
Thu, 24 Mar 2016 20:12:49 +0000 (13:12 -0700)
committerTim King <taking@google.com>
Thu, 24 Mar 2016 20:12:49 +0000 (13:12 -0700)
commitea75c6f2b6e3a374efdccbfc9a01074609c13a57
treeaf6ce431fc67ffa7a4b1c797679f1445fe1f8c92tree
parentc6d487909fc799140519c435bae740860a660366commit | diff
Freeing CegConjecture::d_ceg_si. Also making d_ceg_si a provate member of CegConjecture.
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history