diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-01-22 10:06:26 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-22 10:06:26 -0800 |
commit | 7b12b1e8307295e68cb389eaa7692036fae6e872 (patch) | |
tree | fca232d920668c9a05e628576d19a58caa391fff /.travis.yml | |
parent | 6c9a210e2ca3e6dc56217f186cb632beb82ae0fa (diff) |
Add previous concat handling for CBQI BV as heuristic for EQ. (#1528)
Previously, we computed an inverse for s1 o x, x o s2, s1 o x o s2 while disregarding that invertibility
depends on si. This adds this handling as an optional heuristic for concats over (dis)equality since it improves performance on a considerable number of benchmarks.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions