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