Fri, 23 Jan 2009 09:06:14 +0100 |
immler |
moved all output to watcher-thread
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 15:22:51 +0100 |
immler |
2 provers
|
file |
diff |
annotate
|
Tue, 20 Jan 2009 23:35:37 +0100 |
immler |
do not interrupt successful thread
|
file |
diff |
annotate
|
Tue, 20 Jan 2009 22:19:46 +0100 |
immler |
cancel whole group
|
file |
diff |
annotate
|
Tue, 20 Jan 2009 20:58:08 +0100 |
immler |
pass timeout to prover;
|
file |
diff |
annotate
|
Tue, 20 Jan 2009 18:12:06 +0100 |
immler |
typo
|
file |
diff |
annotate
|
Tue, 20 Jan 2009 16:05:57 +0100 |
immler |
modified remote script;
|
file |
diff |
annotate
|
Mon, 22 Dec 2008 16:57:11 +0100 |
wenzelm |
unregister: refrain from cancelling self, which sometimes caused sledghammer to fail just before printing the result;
|
file |
diff |
annotate
|
Mon, 15 Dec 2008 22:07:30 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Mon, 15 Dec 2008 21:41:00 +0100 |
wenzelm |
added 'atp_messages' command, which displays recent messages synchronously;
|
file |
diff |
annotate
|
Tue, 18 Nov 2008 11:26:59 +0100 |
wenzelm |
changes by Fabian Immler:
|
file |
diff |
annotate
|
Tue, 14 Oct 2008 20:10:44 +0200 |
wenzelm |
add_prover: plain prover function, without thread;
|
file |
diff |
annotate
|
Tue, 14 Oct 2008 15:45:44 +0200 |
wenzelm |
adding preferences is now permissive, no error handling here;
|
file |
diff |
annotate
|
Tue, 14 Oct 2008 15:16:11 +0200 |
wenzelm |
renamed kill_all to kill, in conformance with atp_kill command;
|
file |
diff |
annotate
|
Tue, 14 Oct 2008 13:01:58 +0200 |
wenzelm |
info: back to plain printing;
|
file |
diff |
annotate
|
Mon, 13 Oct 2008 14:04:28 +0200 |
wenzelm |
** Update from Fabian **
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 20:53:10 +0200 |
wenzelm |
SimpleThread.interrupt;
|
file |
diff |
annotate
|
Fri, 03 Oct 2008 20:10:44 +0200 |
wenzelm |
do not handle Error (which matches arbitrary exceptions!), but ERROR _;
|
file |
diff |
annotate
|
Fri, 03 Oct 2008 19:35:17 +0200 |
wenzelm |
misc simplifcation and tuning;
|
file |
diff |
annotate
|
Fri, 03 Oct 2008 17:07:39 +0200 |
wenzelm |
simplified thread creation via SimpleThread;
|
file |
diff |
annotate
|
Fri, 03 Oct 2008 16:37:09 +0200 |
wenzelm |
version of sledgehammer using threads instead of processes, misc cleanup;
|
file |
diff |
annotate
|