| Thu, 02 Oct 2008 23:52:10 +0200 | wenzelm | time factor: one more digit; | changeset | files |
| Thu, 02 Oct 2008 23:30:44 +0200 | wenzelm | more tuning of tracing messages; | changeset | files |
| 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 |