diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-02-15 09:42:25 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-02-15 09:42:25 -0800 |
| commit | 846650bc717b908ef865d8c4095ee6fcd059c79b (patch) | |
| tree | 327b5afcf43f636d8eb68dbc666ec41f3c95c8fe /tools | |
| parent | 5860d60cc79332c01da59f39e90fff2bcc8a5e9e (diff) | |
Optimized --smart.
Previously we had 0.24s on the benchmark without `--smart`,
0.38s with it. Now we have 0.27s with `--smart`, so `--smart`
has only a small performance impact.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions