| Tue, 19 Feb 2013 13:21:49 +0100 |
blanchet |
provide two modes for MaSh driver: linearized or real visibility
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 23:29:17 +0100 |
blanchet |
use precomputed MaSh/MePo data whenever available
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 18:53:13 +0100 |
blanchet |
provide a means to skip a method
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 18:43:59 +0100 |
blanchet |
evaluate more cases (cf. paper)
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 13:11:44 +0100 |
blanchet |
tweaked defaults
|
file |
diff |
annotate
|
| Sat, 15 Dec 2012 21:34:32 +0100 |
blanchet |
MaSh exporter can now export subsets of the facts, as consecutive ranges
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 22:49:06 +0100 |
blanchet |
parallelized MaSh exporter
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 21:59:03 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 00:24:06 +0100 |
blanchet |
adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 13:02:56 +0100 |
blanchet |
(re)introduce (even more) aggressive parallelism, for the benefit of those users with dozens of CPU cores
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 10:29:52 +0100 |
blanchet |
have MaSh evaluator keep all raw problem/solution files in a directory
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 00:48:50 +0100 |
blanchet |
store evaluation output in a file
|
file |
diff |
annotate
|
| Thu, 06 Dec 2012 16:07:09 +0100 |
blanchet |
use right names in MePo exporter
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 23:50:36 +0100 |
blanchet |
rationalized MaSh evaluation harness
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:05 +0200 |
blanchet |
repair MaSh exporter
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
fixed MaSh state load code so it works even if the facts are read in disorder
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
started implementing MaSh client-side I/O
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renaming
|
file |
diff |
annotate
| base
|