wenzelm [Wed, 15 Oct 2008 19:43:11 +0200] rev 28602
removed obsolete Complex sessions;
haftmann [Wed, 15 Oct 2008 16:25:31 +0200] rev 28601
figure for adaption
ballarin [Wed, 15 Oct 2008 16:06:59 +0200] rev 28600
Removed 'includes' (fixed).
ballarin [Wed, 15 Oct 2008 15:44:15 +0200] rev 28599
Removed 'includes'.
kleing [Wed, 15 Oct 2008 00:18:43 +0200] rev 28598
give more time to do inital loggin and settings read
kleing [Wed, 15 Oct 2008 00:18:19 +0200] rev 28597
log start of test session
wenzelm [Tue, 14 Oct 2008 20:10:45 +0200] rev 28596
tuned interfaces -- plain prover function, without thread;
misc tuning and simplification;
reduced NJ basis library stuff to bare minimum;
wenzelm [Tue, 14 Oct 2008 20:10:44 +0200] rev 28595
add_prover: plain prover function, without thread;
removed obsolete atp_thread interface;
moved kill_excessive into main thread manager loop -- avoids race condition wrt. register/unregister;
start_prover: register/unregister self -- avoids race condition;
wenzelm [Tue, 14 Oct 2008 20:10:43 +0200] rev 28594
tuned AtpWrapper interfaces;
haftmann [Tue, 14 Oct 2008 16:32:26 +0200] rev 28593
continued codegen tutorial