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
|