| Thu, 29 Jan 2015 15:21:16 +0100 |
wenzelm |
explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
|
file |
diff |
annotate
|
| Mon, 03 Nov 2014 15:08:15 +0100 |
wenzelm |
clarified legacy code;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 11:36:41 +0100 |
wenzelm |
discontinued obsolete Output.urgent_message;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 00:21:32 +0200 |
blanchet |
tuned whitespace (also in strings)
|
file |
diff |
annotate
|
| Thu, 27 Mar 2014 17:12:40 +0100 |
wenzelm |
clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
|
file |
diff |
annotate
|
| Wed, 04 Sep 2013 15:27:24 +0200 |
wenzelm |
some explicit indication of Proof General legacy;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 11:35:52 +0200 |
wenzelm |
tuned signature -- emphasize thread creation here;
|
file |
diff |
annotate
|
| 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
|