projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8a4711) | 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)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 11 Dec 2012 20:47:08 +0000 (14:47 -0600)
commit206edb6f11674e954f5762a1db9712131151a276
tree185322cf5d94d5eaf0ef542606214ff55a6175bbtree
parenta8a471141d2fca4428b7c016ea4494d9925fc544commit | diff
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)
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