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
wenzelm [Tue, 14 Oct 2008 16:01:36 +0200] rev 28592
renamed AtpThread to AtpWrapper;
wenzelm [Tue, 14 Oct 2008 15:45:46 +0200] rev 28591
adding preferences is now permissive;