| Thu, 02 Oct 2008 22:09:22 +0200 | wenzelm | include factor in timing report; | changeset | files |
| Thu, 02 Oct 2008 21:21:21 +0200 | wenzelm | with_attributes: enforces InterruptAsynch => InterruptAsynchOnce to avoid race condition; | changeset | files |
| Thu, 02 Oct 2008 19:59:01 +0200 | wenzelm | tracing: ignore failure of any kind; | changeset | files |
| Thu, 02 Oct 2008 19:59:00 +0200 | wenzelm | tuned SYNCHRONIZED: outermost Exn.release; | changeset | files |
| Thu, 02 Oct 2008 19:38:48 +0200 | wenzelm | program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch; | changeset | files |
| Thu, 02 Oct 2008 17:18:36 +0200 | haftmann | added partiality section | changeset | files |
| Thu, 02 Oct 2008 17:18:22 +0200 | haftmann | corrected class antiquotation | changeset | files |