projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 458b2b7) | patch
Fix some mistakes in datatypes theory combination, disable two regressions. Minor...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 1 Nov 2014 10:31:59 +0000 (11:31 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 1 Nov 2014 10:31:59 +0000 (11:31 +0100)
commit9df318ca1ab33001bd203c24ae57a8b5739b8f36
tree3b104cc97f5daa2f69285056d81ace0ed7c916e9tree
parent458b2b7eb5bdf09a1a886f4e2a165380d5fd918fcommit | diff
Fix some mistakes in datatypes theory combination, disable two regressions.  Minor fix for fun defs.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history