Tue, 24 Jul 2007 15:20:47 +0200 using interpretation with derived concepts
haftmann [Tue, 24 Jul 2007 15:20:47 +0200] rev 23949
using interpretation with derived concepts
Tue, 24 Jul 2007 15:20:45 +0200 using class target
haftmann [Tue, 24 Jul 2007 15:20:45 +0200] rev 23948
using class target
Mon, 23 Jul 2007 22:18:05 +0200 added proper implementation of self_critical, CRITICAL;
wenzelm [Mon, 23 Jul 2007 22:18:05 +0200] rev 23947
added proper implementation of self_critical, CRITICAL;
Mon, 23 Jul 2007 22:18:03 +0200 added multithreading, self_critical
wenzelm [Mon, 23 Jul 2007 22:18:03 +0200] rev 23946
added multithreading, self_critical
Mon, 23 Jul 2007 22:18:01 +0200 RAW: updated deps;
wenzelm [Mon, 23 Jul 2007 22:18:01 +0200] rev 23945
RAW: updated deps;
Mon, 23 Jul 2007 20:47:56 +0200 marked some CRITICAL sections;
wenzelm [Mon, 23 Jul 2007 20:47:56 +0200] rev 23944
marked some CRITICAL sections;
Mon, 23 Jul 2007 20:47:55 +0200 added compatibility wrapper for polyml-5.1;
wenzelm [Mon, 23 Jul 2007 20:47:55 +0200] rev 23943
added compatibility wrapper for polyml-5.1;
Mon, 23 Jul 2007 19:45:49 +0200 marked some CRITICAL sections;
wenzelm [Mon, 23 Jul 2007 19:45:49 +0200] rev 23942
marked some CRITICAL sections; eliminated transform_failure (to avoid critical section for main transactions);
Mon, 23 Jul 2007 19:45:48 +0200 avoid global reference warned'';
wenzelm [Mon, 23 Jul 2007 19:45:48 +0200] rev 23941
avoid global reference warned'';
Mon, 23 Jul 2007 19:45:47 +0200 marked some CRITICAL sections;
wenzelm [Mon, 23 Jul 2007 19:45:47 +0200] rev 23940
marked some CRITICAL sections; eliminated transform_failure (to avoid critical section for main transactions); removed unused exceptions MetaSimplifier.SIMPROC_FAIL, Attrib.ATTRIB_FAIL, Method.METHOD_FAIL, Antiquote.ANTIQUOTE_FAIL;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip