| Mon, 23 Aug 2010 00:09:25 +0200 |
blanchet |
fiddle a bit with the SPASS fudge number
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 22:47:03 +0200 |
blanchet |
be more generous towards SPASS's -SOS mode
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 09:43:10 +0200 |
blanchet |
prefer TPTP "conjecture" tag to "hypothesis" on ATPs where this is possible;
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 13:04:37 +0200 |
blanchet |
fix SInE's error handling + run "vampire" locally if either SPASS or E is missing
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 11:29:53 +0200 |
blanchet |
added remote SInE and remote SNARK
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 20:53:55 +0200 |
blanchet |
don't get confused by wrong slice
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 17:09:05 +0200 |
blanchet |
added "max_relevant_per_iter" option to Sledgehammer
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 16:42:37 +0200 |
blanchet |
thank Andrei instead of Tanya
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 12:04:00 +0200 |
blanchet |
rename enum values
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 18:14:50 +0200 |
blanchet |
tweaking
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 17:01:31 +0200 |
blanchet |
merged
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 14:35:44 +0200 |
blanchet |
improve detection of old Vampire versions
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 16:47:19 +0200 |
wenzelm |
made 9043eefe8d71 actually compile;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 13:59:04 +0200 |
blanchet |
detect old Vampire and give a nicer error message
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 09:39:05 +0200 |
blanchet |
Geoff's formatter now needs closed formulas
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 11:05:45 +0200 |
blanchet |
fiddle some more with "max_new_relevant_facts_per_iter"
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 20:02:02 +0200 |
blanchet |
avoid "ATP Error: Error: blah" style messages
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 19:26:42 +0200 |
blanchet |
better error and minimizer output
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 18:45:41 +0200 |
blanchet |
speed up the minimizer by using the time taken for the first iteration as a timeout for the following iterations, and fix a subtle bug in "string_for_failure"
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 16:54:46 +0200 |
blanchet |
fiddle with the fudge factors, to get similar results as before
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 09:41:49 +0200 |
blanchet |
improved ATP error handling some more
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 00:28:57 +0200 |
blanchet |
shorter URL
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 23:01:27 +0200 |
blanchet |
handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 19:23:56 +0200 |
blanchet |
renamed environment variable
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 19:04:59 +0200 |
blanchet |
consequence of directory renaming
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 19:01:34 +0200 |
blanchet |
rename directory
|
file |
diff |
annotate
| base
|