| Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
use async manager to manage MaSh learners to make sure they get killed cleanly
|
file |
diff |
annotate
|
| Mon, 21 May 2012 10:39:31 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 10:53:27 +0200 |
blanchet |
display more messages, now that more provers are run by default
|
file |
diff |
annotate
|
| Fri, 18 Nov 2011 11:47:12 +0100 |
blanchet |
less offensive terminology
|
file |
diff |
annotate
|
| Wed, 10 Aug 2011 15:17:24 +0200 |
wenzelm |
more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;
|
file |
diff |
annotate
|
| Mon, 30 May 2011 17:00:38 +0200 |
blanchet |
better merging of similar outputs
|
file |
diff |
annotate
|
| Fri, 27 May 2011 10:30:08 +0200 |
blanchet |
use helpers and tweak Quickcheck's priority to it comes second (to give Solve Direct slightly more time before another prover runs)
|
file |
diff |
annotate
|
| Fri, 27 May 2011 10:30:07 +0200 |
blanchet |
merge timeout messages from several ATPs into one message to avoid clutter
|
file |
diff |
annotate
|
| Tue, 07 Dec 2010 09:58:56 +0100 |
blanchet |
load "try" after "Metis" and move "Async_Manager" back to Sledgehammer
|
file |
diff |
annotate
| base
|