Mon, 13 Oct 2008 15:48:40 +0200 State variables with synchronized access.
wenzelm [Mon, 13 Oct 2008 15:48:40 +0200] rev 28578
State variables with synchronized access.
Mon, 13 Oct 2008 15:48:39 +0200 added generic combinator for synchronized evaluation (formerly in future.ML);
wenzelm [Mon, 13 Oct 2008 15:48:39 +0200] rev 28577
added generic combinator for synchronized evaluation (formerly in future.ML);
Mon, 13 Oct 2008 15:48:38 +0200 simplified implementation using Synchronized.var;
wenzelm [Mon, 13 Oct 2008 15:48:38 +0200] rev 28576
simplified implementation using Synchronized.var;
Mon, 13 Oct 2008 15:48:37 +0200 SimpleThread.synchronized;
wenzelm [Mon, 13 Oct 2008 15:48:37 +0200] rev 28575
SimpleThread.synchronized;
Mon, 13 Oct 2008 15:48:36 +0200 added Concurrent/synchronized.ML;
wenzelm [Mon, 13 Oct 2008 15:48:36 +0200] rev 28574
added Concurrent/synchronized.ML;
Mon, 13 Oct 2008 14:04:53 +0200 ** Update from Fabian **
wenzelm [Mon, 13 Oct 2008 14:04:53 +0200] rev 28573
** Update from Fabian ** added remote prover functions;
Mon, 13 Oct 2008 14:04:29 +0200 ** Update from Fabian **
wenzelm [Mon, 13 Oct 2008 14:04:29 +0200] rev 28572
** Update from Fabian ** reset print mode when producing proof text;
Mon, 13 Oct 2008 14:04:28 +0200 ** Update from Fabian **
wenzelm [Mon, 13 Oct 2008 14:04:28 +0200] rev 28571
** Update from Fabian ** preferences/provers: separated by white space, avoid low-level char type; sledgehammer command accepts prover list as well; avoid I/O in critical section of AtpManager.info; more systematic synchronization using higher-order combinators; more descriptive errors when atp fails; keep explicitly requested problem files; added remote prover functions; simplified treatment of prover name in diagnostic output; misc tuning and cleanup;
Mon, 13 Oct 2008 13:56:54 +0200 tuned output;
wenzelm [Mon, 13 Oct 2008 13:56:54 +0200] rev 28570
tuned output;
Mon, 13 Oct 2008 13:44:59 +0200 tuned
haftmann [Mon, 13 Oct 2008 13:44:59 +0200] rev 28569
tuned
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip