| Sat, 25 Apr 2009 20:31:27 +0200 |
wenzelm |
renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution;
|
file |
diff |
annotate
|
| Thu, 16 Apr 2009 14:54:57 +0200 |
wenzelm |
external_prover: "exec" the command line, in order to preserve the exact process context of the "system" invocation (this recovers interruptibility of E-1.0, which assumes to be the process group leader);
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 15:27:13 +0200 |
wenzelm |
more generic error message, which also covers more fundamental failure;
|
file |
diff |
annotate
|
| Sat, 04 Apr 2009 20:22:39 +0200 |
immler |
reverted to explicitly check the presence of a refutation
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 14:26:30 +0100 |
immler |
have remote script interrupted like the other provers
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 16:50:25 +0100 |
immler |
use goal instead of Proof State
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 16:46:23 +0100 |
immler |
split relevance-filter and writing of problem-files;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 15:45:45 +0100 |
immler |
show certain errors to the user
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 15:15:44 +0100 |
immler |
removed connection check;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 10:13:43 +0100 |
immler |
removed global ref dfg_format
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 16:48:01 +0100 |
immler |
changed message
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 11:04:18 +0100 |
immler |
detailed information on atp-failure via Output.debug
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 14:57:33 +0100 |
immler |
tuned;
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 20:58:08 +0100 |
immler |
pass timeout to prover;
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 16:05:57 +0100 |
immler |
modified remote script;
|
file |
diff |
annotate
|
| Mon, 12 Jan 2009 16:16:05 +0100 |
immler |
simplified usage of remote-script; added compatible remote-atps
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 20:10:45 +0200 |
wenzelm |
tuned interfaces -- plain prover function, without thread;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 16:01:36 +0200 |
wenzelm |
renamed AtpThread to AtpWrapper;
|
file |
diff |
annotate
|