| Thu, 28 Aug 2014 20:06:59 +0200 |
blanchet |
clarified docs
|
file |
diff |
annotate
|
| Mon, 04 Aug 2014 15:08:13 +0200 |
blanchet |
updated 'compress' docs
|
file |
diff |
annotate
|
| Fri, 01 Aug 2014 14:43:57 +0200 |
blanchet |
update documentation after removal of 'min' subcommand
|
file |
diff |
annotate
|
| Fri, 01 Aug 2014 14:43:57 +0200 |
blanchet |
removed proof methods as provers from docs
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 23:52:56 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 23:52:56 +0200 |
blanchet |
reduced preplay timeout to 1 s
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 18:46:38 +0200 |
blanchet |
reenabled MaSh for Isabelle2014 release (hopefully)
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 00:24:00 +0200 |
blanchet |
stick to external proofs when invoking E, because they are more detailed and do not merge steps
|
file |
diff |
annotate
|
| Wed, 16 Jul 2014 17:57:27 +0200 |
blanchet |
disabled MaSh for the Isabelle2014 release, due to a couple of issues
|
file |
diff |
annotate
|
| Wed, 09 Jul 2014 18:48:37 +0200 |
blanchet |
improved docs
|
file |
diff |
annotate
|
| Wed, 09 Jul 2014 11:35:52 +0200 |
blanchet |
tuned terminology
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 16:47:10 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Sun, 29 Jun 2014 18:28:27 +0200 |
blanchet |
killed Python version of MaSh, now that the SML version works adequately
|
file |
diff |
annotate
|
| Wed, 18 Jun 2014 13:23:09 +0200 |
blanchet |
enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
|
file |
diff |
annotate
|
| Thu, 12 Jun 2014 17:10:12 +0200 |
blanchet |
renamed Sledgehammer options
|
file |
diff |
annotate
|
| Thu, 12 Jun 2014 17:02:03 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Thu, 12 Jun 2014 17:02:03 +0200 |
blanchet |
took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale
|
file |
diff |
annotate
|
| Wed, 11 Jun 2014 11:28:46 +0200 |
blanchet |
updated docs w.r.t. Z3
|
file |
diff |
annotate
|
| Wed, 28 May 2014 17:42:34 +0200 |
blanchet |
changed MaSh to use SML version instead of Python version of naive Bayes by default (i.e. if MASH=yes in the settings, or 'fact_filter=mash' with no other explicit setting)
|
file |
diff |
annotate
|
| Tue, 27 May 2014 17:48:11 +0200 |
blanchet |
updated naive Bayes
|
file |
diff |
annotate
|
| Mon, 26 May 2014 14:15:48 +0200 |
blanchet |
renamed 'MaSh' option
|
file |
diff |
annotate
|
| Thu, 22 May 2014 03:29:35 +0200 |
blanchet |
shorten Sledgehammer output, as suggested by Andrei Popescu
|
file |
diff |
annotate
|
| Wed, 21 May 2014 14:09:43 +0200 |
blanchet |
docs
|
file |
diff |
annotate
|
| Tue, 20 May 2014 22:28:44 +0200 |
blanchet |
added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
|
file |
diff |
annotate
|
| Tue, 20 May 2014 22:28:08 +0200 |
blanchet |
added Isabelle system option 'mash'
|
file |
diff |
annotate
|
| Tue, 20 May 2014 16:39:13 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 22:13:17 +0200 |
blanchet |
updated Z3 version number
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 17:16:02 +0200 |
blanchet |
don't pass Vampire option that doesn't exist anymore (and that wasn't strictly necessary with older Vampires)
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 17:00:14 +0200 |
blanchet |
use Alt-Ergo 0.95.2, the latest and greatest version
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 16:57:19 +0200 |
blanchet |
updated Z3 TPTP to 4.3.1+
|
file |
diff |
annotate
|