projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 984d9e7) | patch
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 11 Dec 2012 20:47:08 +0000 (14:47 -0600)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 11 Dec 2012 20:59:20 +0000 (15:59 -0500)
commit8319e8d21f43b268168e4e66b1341630c7fb44e2
tree56b4ac1ea1b4a6c01ccc72918d8e16088542916ctree
parent984d9e7352ece4e3dd75b4272074cf6a298b5eeacommit | diff
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)

(cherry-picked from commit 206edb6f11674e954f5762a1db9712131151a276)
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/theory/quantifiers/quantifiers_attributes.cpp diff | blob | history
src/theory/quantifiers/quantifiers_attributes.h diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.h diff | blob | history