projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5df932) | patch
change lemma generation behavior
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 3 Jul 2014 22:37:51 +0000 (18:37 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 3 Jul 2014 22:37:51 +0000 (18:37 -0400)
commite926fd162c6cee95d31044305e3b4df90b59f9fc
tree8dc282bb4887fc5ee04c9f5be1a742863c44ba2dtree
parenta5df93270d53400687d64822a9f2a7e9412a55f5commit | diff
change lemma generation behavior

don't store lemmas in a pending queue, instead generate them right away

doing with pending queue is tricky, needs rethinking to do it properly
src/theory/sets/theory_sets_private.cpp diff | blob | history