diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-05 15:32:48 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-05 15:32:48 +0100 |
commit | 36a5437abbddd484b8bdb18c024cc7573240054f (patch) | |
tree | 587994c441c49995624029c9094c5caeed9cf7d1 /src/options/base_options_template.h | |
parent | a84864da338f74958c6754696d98cd6355e798a8 (diff) |
More work on datatypes theory combination: fix bug in care graph, do not assign values for EQC of datatype type that contain only terms belonging to other theories, do not treat APPLY_UF as congruence operator, communicate equalities involving terms of external kind. Minor fixes for fun_def_process. Other minor changes.
Diffstat (limited to 'src/options/base_options_template.h')
0 files changed, 0 insertions, 0 deletions