Tue, 27 Oct 2009 18:00:50 +0100 |
boehmes |
measure runtime of ATPs only if requested
|
file |
diff |
annotate
|
Fri, 23 Oct 2009 14:22:36 +0200 |
boehmes |
ignore error messages produced by ATPs
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 17:49:30 +0200 |
wenzelm |
natural argument order for prover;
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 15:53:33 +0200 |
wenzelm |
clarified File.platform_path vs. File.shell_path;
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 12:23:24 +0200 |
wenzelm |
misc tuning and recovery of Isabelle coding style;
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 11:49:27 +0200 |
wenzelm |
eliminated extraneous wrapping of public records;
|
file |
diff |
annotate
|
Wed, 14 Oct 2009 23:44:37 +0200 |
wenzelm |
modernized structure names;
|
file |
diff |
annotate
|
Sun, 04 Oct 2009 12:59:22 +0200 |
boehmes |
recovered support for Spass: re-enabled writing problems in DFG format
|
file |
diff |
annotate
|
Sat, 03 Oct 2009 12:05:40 +0200 |
boehmes |
re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values,
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Thu, 17 Sep 2009 11:57:36 +0200 |
boehmes |
undo changes from revision 719426c9e1eb: removed Perl script for ATP invocation, measuring time using Bash-builtin "time";
|
file |
diff |
annotate
|
Tue, 15 Sep 2009 15:29:11 +0200 |
boehmes |
added hard timeout for sledgehammer based on elapsed time (no need to trust ATP's timeout handling);
|
file |
diff |
annotate
|
Thu, 03 Sep 2009 17:55:31 +0200 |
boehmes |
added runtime information to sledgehammer
|
file |
diff |
annotate
|
Mon, 31 Aug 2009 15:29:26 +0200 |
boehmes |
sledgehammer's temporary files are removed properly (even in case of an exception occurs)
|
file |
diff |
annotate
|
Sat, 29 Aug 2009 21:57:06 +0200 |
boehmes |
propagate theorem names, in addition to generated return message
|
file |
diff |
annotate
|
Tue, 04 Aug 2009 19:20:24 +0200 |
wenzelm |
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
|
file |
diff |
annotate
| base
|