diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 16:59:28 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 16:59:28 -0800 |
commit | ef893337741de07a94d2cf6056b1ca6822a5e28e (patch) | |
tree | 492478c47f3eb725a0c18becc02378468be0af2a /readme | |
parent | 148a786b694b5cad9035e53f35a349d6274f0291 (diff) | |
download | abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.tar.gz abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.tar.bz2 abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.zip |
Improved the speed of refinement algorithm in &abs_refine.
Diffstat (limited to 'readme')
0 files changed, 0 insertions, 0 deletions