Wed, 18 Aug 2010 17:16:37 +0200 get rid of "minimize_timeout", now that there's an automatic adaptive timeout mechanism in "minimize"
blanchet [Wed, 18 Aug 2010 17:16:37 +0200] rev 38590
get rid of "minimize_timeout", now that there's an automatic adaptive timeout mechanism in "minimize"
Wed, 18 Aug 2010 17:09:05 +0200 added "max_relevant_per_iter" option to Sledgehammer
blanchet [Wed, 18 Aug 2010 17:09:05 +0200] rev 38589
added "max_relevant_per_iter" option to Sledgehammer
Wed, 18 Aug 2010 16:42:37 +0200 thank Andrei instead of Tanya
blanchet [Wed, 18 Aug 2010 16:42:37 +0200] rev 38588
thank Andrei instead of Tanya
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip