projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b64e19) | patch
Reenable regression. Add (for now, disabled) changes to datatypes theory combination...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 6 Nov 2014 10:41:35 +0000 (11:41 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 6 Nov 2014 10:41:35 +0000 (11:41 +0100)
commit60e8c65407a34d75ccaa88e1ccbb5adb89799330
tree64b2a1f56128f2ec88789649e5f712432d8cb233tree
parent2b64e19e84787c7f510a2e7a536be563072e1c8ecommit | diff
Reenable regression.  Add (for now, disabled) changes to datatypes theory combination.  Relax communication of dt facts.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
test/regress/regress0/fmf/Makefile.am diff | blob | history