diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-14 23:37:56 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-14 23:37:56 -0800 |
| commit | e644cb6dc8b5b8c64663bd4e57d14e1d86588695 (patch) | |
| tree | 701c2f1744e0400d990d2f6efa40d17b35696205 /proofs | |
| parent | 4983fb0e4339d1c03c8eb5567aca566a378114ea (diff) | |
Revert "Move ss-combine rewrite to extended rewriter (#2703)"revertMoveSSCombine
This reverts commit eb7226ebeabf7cc70ec023107d74ffc5c1bad5e7. After
merging #2740, our experiments show that the ss-combine rewrite is
now beneficial for solving performance.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions