search

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
https://abella-prover.org/
GNU General Public License v3.0
90 stars 18 forks source link

Search is very slow since 2.0.6 #117

Open chaudhuri opened 5 years ago

chaudhuri commented 5 years ago

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.