projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dead33e) | patch
Fix for registration issues of term appearing in a shared lemma
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 17 Mar 2014 22:01:10 +0000 (18:01 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 20 Mar 2014 21:18:58 +0000 (17:18 -0400)
commitc8b948c37364104bf5f9ca5eca83120247b693a4
treea4fba0d7ba7b8a1f93ff44878414fdda2e9ed941tree
parentdead33e1660596c75f2bfc5ee86ed39600a92a45commit | diff
Fix for registration issues of term appearing in a shared lemma

(brought to attention by lianah -- fix currently just adapted using
arrays -- this is to remind me to raise why do we even have this
isPreregistered bussiness)
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/sets/theory_sets.h diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
test/regress/regress0/sets/sets-testlemma-ints.smt2 diff | blob | history