Fri, 18 Nov 2011 11:47:12 +0100 | less offensive terminology | file | diff | annotate |
Wed, 10 Aug 2011 15:17:24 +0200 | more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning; | file | diff | annotate |
Mon, 30 May 2011 17:00:38 +0200 | better merging of similar outputs | file | diff | annotate |
Fri, 27 May 2011 10:30:08 +0200 | 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 | merge timeout messages from several ATPs into one message to avoid clutter | file | diff | annotate |
Tue, 07 Dec 2010 09:58:56 +0100 | load "try" after "Metis" and move "Async_Manager" back to Sledgehammer | file | diff | annotate | base |