| Thu, 09 Oct 2008 20:53:23 +0200 |
wenzelm |
added enabled;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:22 +0200 |
wenzelm |
Multithreading.enabled;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:21 +0200 |
wenzelm |
moved future_scheduler flag to Concurrent/ROOT.ML;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:20 +0200 |
wenzelm |
added invalidate_group;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:17 +0200 |
wenzelm |
added fail-safe interrupt;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:16 +0200 |
wenzelm |
subject to Multithreading.enabled;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:15 +0200 |
wenzelm |
future result: Interrupt invalidates group, but pretends success otherwise;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:14 +0200 |
wenzelm |
added future_scheduler flag (tmp!), from skip_proofs.ML;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:13 +0200 |
wenzelm |
Dummy version of parallel list combinators -- plain sequential evaluation.
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:12 +0200 |
wenzelm |
added Concurrent/par_list_dummy.ML;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:11 +0200 |
wenzelm |
improved performance of skolem cache, due to parallel map;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:53:10 +0200 |
wenzelm |
SimpleThread.interrupt;
|
changeset |
files
|
| Thu, 09 Oct 2008 20:03:22 +0200 |
wenzelm |
report: back to single message;
|
changeset |
files
|
| Thu, 09 Oct 2008 19:24:21 +0200 |
wenzelm |
added section label;
|
changeset |
files
|
| Thu, 09 Oct 2008 18:16:07 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 09 Oct 2008 09:18:32 +0200 |
kleing |
do logging to MASTERLOG centrally (avoid multiple writers over NFS as
|
changeset |
files
|