| Wed, 04 Nov 2009 20:31:36 +0100 | wenzelm | worker_next: treat wait for work_available as Sleeping, not Waiting; | changeset | files |
| Wed, 04 Nov 2009 11:58:29 +0100 | wenzelm | worker activity: distinguish between waiting (formerly active) and sleeping; | changeset | files |
| Wed, 04 Nov 2009 11:37:06 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Nov 2009 11:30:22 +0100 | wenzelm | tuned thread data; | changeset | files |
| Wed, 04 Nov 2009 00:29:58 +0100 | wenzelm | worker_next: ensure that work_available is passed on before sleeping (was occasionally lost when worker configuration changed, causing scheduler deadlock); | changeset | files |
| Tue, 03 Nov 2009 19:52:09 +0100 | wenzelm | slightly leaner and more direct control of worker activity etc.; | changeset | files |
| Tue, 03 Nov 2009 10:36:20 +0100 | bulwahn | adding testcases for code inlining, sets and numerals to the example files of the predicate compiler and its quickcheck prototype; disabling length example | changeset | files |