abella icon indicating copy to clipboard operation
abella copied to clipboard

Published 20 hours ago • verified publisher icon abella-prover

Search is very slow since 2.0.6

Open chaudhuri opened this issue 6 years ago • 0 comments

It used to take about 20 seconds to rebuild the entire examples suite prior to 2.0.6. Now it takes nearly three minutes. I've done a very light amount of profiling and it seems that search is the main culprit.

chaudhuri avatar Jan 20 '19 19:01 chaudhuri