| Fri, 19 Mar 2010 13:02:18 +0100 |
more Sledgehammer refactoring
|
file | diff | annotate |
| Wed, 17 Mar 2010 19:26:05 +0100 |
renamed Sledgehammer structures
|
file | diff | annotate |
| Thu, 04 Mar 2010 22:48:16 +0100 |
basic simplification of external_prover signature;
|
file | diff | annotate |
| Sat, 06 Feb 2010 14:50:55 +0100 |
renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
|
file | diff | annotate |
| Thu, 29 Oct 2009 16:59:12 +0100 |
modernized some structure names;
|
file | diff | annotate |
| Tue, 27 Oct 2009 18:00:50 +0100 |
measure runtime of ATPs only if requested
|
file | diff | annotate |
| Fri, 23 Oct 2009 14:22:36 +0200 |
ignore error messages produced by ATPs
|
file | diff | annotate |
| Thu, 15 Oct 2009 17:49:30 +0200 |
natural argument order for prover;
|
file | diff | annotate |
| Thu, 15 Oct 2009 15:53:33 +0200 |
clarified File.platform_path vs. File.shell_path;
|
file | diff | annotate |
| Thu, 15 Oct 2009 12:23:24 +0200 |
misc tuning and recovery of Isabelle coding style;
|
file | diff | annotate |
| Thu, 15 Oct 2009 11:49:27 +0200 |
eliminated extraneous wrapping of public records;
|
file | diff | annotate |
| Wed, 14 Oct 2009 23:44:37 +0200 |
modernized structure names;
|
file | diff | annotate |
| Sun, 04 Oct 2009 12:59:22 +0200 |
recovered support for Spass: re-enabled writing problems in DFG format
|
file | diff | annotate |
| Sat, 03 Oct 2009 12:05:40 +0200 |
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 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
| Thu, 17 Sep 2009 11:57:36 +0200 |
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 |
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 |
added runtime information to sledgehammer
|
file | diff | annotate |
| Mon, 31 Aug 2009 15:29:26 +0200 |
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 |
propagate theorem names, in addition to generated return message
|
file | diff | annotate |
| Tue, 04 Aug 2009 19:20:24 +0200 |
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
|
file | diff | annotate | base |