| Wed, 19 Dec 2007 23:06:14 +0100 |
wenzelm |
Simple generator for pseudo-random numbers, using unboxed word arithmetic only.
|
changeset |
files
|
| Wed, 19 Dec 2007 23:06:13 +0100 |
wenzelm |
removed duplicate CRITICAL markup;
|
changeset |
files
|
| Wed, 19 Dec 2007 22:34:03 +0100 |
haftmann |
instantiation target
|
changeset |
files
|
| Wed, 19 Dec 2007 22:33:44 +0100 |
haftmann |
tuned primitive inferences
|
changeset |
files
|
| Wed, 19 Dec 2007 17:40:48 +0100 |
paulson |
Replaced refs by config params; finer critical section in mets method
|
changeset |
files
|
| Wed, 19 Dec 2007 16:52:26 +0100 |
wenzelm |
simultaneous use_thys;
|
changeset |
files
|
| Wed, 19 Dec 2007 16:52:07 +0100 |
wenzelm |
marked refute (the main metis procedure) as CRITICAL;
|
changeset |
files
|
| Wed, 19 Dec 2007 16:32:16 +0100 |
schirmer |
more examples
|
changeset |
files
|
| Wed, 19 Dec 2007 16:32:14 +0100 |
schirmer |
accomodate to replacement of K_record by %x.c
|
changeset |
files
|
| Wed, 19 Dec 2007 16:32:12 +0100 |
schirmer |
replaced K_record by lambda term %x. c
|
changeset |
files
|
| Tue, 18 Dec 2007 22:21:42 +0100 |
wenzelm |
signature BASIC_MULTITHREADING;
|
changeset |
files
|
| Tue, 18 Dec 2007 22:21:41 +0100 |
wenzelm |
removed obsolete use_noncritical (plain use is already non-critical);
|
changeset |
files
|
| Tue, 18 Dec 2007 22:21:40 +0100 |
wenzelm |
serial: now based on specific version in structure Multithreading;
|
changeset |
files
|
| Tue, 18 Dec 2007 22:18:31 +0100 |
huffman |
add class ppo of pointed partial orders;
|
changeset |
files
|
| Tue, 18 Dec 2007 19:54:34 +0100 |
wenzelm |
named some critical sections;
|
changeset |
files
|