| Wed, 24 Jun 2009 20:52:49 +0200 |
wenzelm |
proper ML interface set_full_types;
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 15:51:07 +0200 |
nipkow |
New ATP option: full types
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 17:07:09 +0200 |
immler |
use results of relevance-filter to determine additional clauses;
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 16:56:41 +0200 |
immler |
split preparing clauses and writing problemfile;
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 16:52:37 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Mon, 04 May 2009 23:37:39 +0200 |
immler |
added Philipp Meyer's implementation of AtpMinimal
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 21:28:05 +0200 |
wenzelm |
use predefined preferences categories;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 22:23:40 +0200 |
immler |
included managing_thread in state of AtpManager:
|
file |
diff |
annotate
|
| Mon, 30 Mar 2009 21:42:12 +0200 |
wenzelm |
tuned spacing and formatting;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2009 19:11:16 +0200 |
immler |
terminate watching thread
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 16:50:25 +0100 |
immler |
use goal instead of Proof State
|
file |
diff |
annotate
|
| Tue, 03 Feb 2009 15:29:52 +0100 |
immler |
changed default timeout
|
file |
diff |
annotate
|
| 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
|