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/regress | |
| 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/regress')
0 files changed, 0 insertions, 0 deletions