diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-20 13:59:13 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-20 13:59:20 -0500 |
commit | d5d05e4723581c86808a866af1a9f20343ed36dc (patch) | |
tree | b8b6985db8c361f4ad8a0a004ebb4596fca32824 /test | |
parent | 8b57c18d24caced0744d8624b3e0208aeba923ef (diff) |
Improvements to theory combination + strings: do not return trivial care graph, split on length terms for disequal strings. Term indexing for TheoryDatatypes::computeCareGraph. Minor fix in quantifiers rewriter for entailed conditions, strings cardinality.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions