diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-26 14:51:01 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-26 14:51:11 -0500 |
| commit | 28b20948a3b236bf32ca399e2cd85b09c1e57e67 (patch) | |
| tree | 54319cbb8b27a94240ef5cfcd53bc0d7fb0c9fe4 /src/expr/mkkind | |
| parent | 7f079d6d88fc6e7e5c73eb4bfa9cb42e6930c224 (diff) | |
Use term indexing in TheoryUF::computeCareGraph. Do not reject model value instantiations in cbqi+BV. Use dag in alpha equivalence check. Fix simple memory leak in fmf.
Diffstat (limited to 'src/expr/mkkind')
0 files changed, 0 insertions, 0 deletions