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/options/ufss_mode.h | |
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/options/ufss_mode.h')
0 files changed, 0 insertions, 0 deletions