Mon, 03 Feb 2014 15:33:18 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Mon, 03 Feb 2014 15:19:07 +0100 |
blanchet |
merged 'reconstructors' and 'proof methods'
|
file |
diff |
annotate
|
Mon, 03 Feb 2014 10:14:18 +0100 |
blanchet |
more thorough, hybrid compression
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:10:39 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:07:20 +0100 |
blanchet |
moved ML code around
|
file |
diff |
annotate
|
Thu, 30 Jan 2014 13:54:12 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
Thu, 30 Jan 2014 13:38:28 +0100 |
blanchet |
made 'try0' (more) silent
|
file |
diff |
annotate
|
Thu, 30 Jan 2014 00:59:12 +0100 |
blanchet |
silenced reconstructors in Sledgehammer
|
file |
diff |
annotate
|
Thu, 19 Dec 2013 19:16:44 +0100 |
blanchet |
don't do 'isar_try0' if preplaying is off
|
file |
diff |
annotate
|
Thu, 19 Dec 2013 17:52:58 +0100 |
blanchet |
refactored preplaying outcome data structure
|
file |
diff |
annotate
|
Thu, 19 Dec 2013 17:24:17 +0100 |
blanchet |
distinguish not preplayed & timed out
|
file |
diff |
annotate
|
Thu, 19 Dec 2013 10:15:12 +0100 |
blanchet |
simplified data structure
|
file |
diff |
annotate
|
Thu, 19 Dec 2013 09:28:20 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Mon, 16 Dec 2013 23:05:16 +0100 |
blanchet |
handle Skolems gracefully for SPASS as well
|
file |
diff |
annotate
|
Tue, 19 Nov 2013 16:48:50 +0100 |
blanchet |
refactored
|
file |
diff |
annotate
|
Thu, 11 Jul 2013 13:33:19 +0200 |
smolkas |
tuned
|
file |
diff |
annotate
|
Tue, 09 Jul 2013 18:44:59 +0200 |
smolkas |
moved code -> easier debugging
|
file |
diff |
annotate
|