wenzelm [Wed, 15 Oct 2008 21:15:35 +0200] rev 28604
generic ATP manager based on threads (by Fabian Immler);
wenzelm [Wed, 15 Oct 2008 21:06:15 +0200] rev 28603
added sledgehammer etc.;
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;