| Mon, 27 Jul 2009 12:24:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2009 12:16:58 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 27 Jul 2009 12:11:18 +0200 | wenzelm | more specific conditions: scheduler_event, work_available, work_finished -- considereably reduces overhead with many threads; | changeset | files |
| Mon, 27 Jul 2009 12:00:02 +0200 | wenzelm | enqueue/finish: return minimal/maximal state of this task; | changeset | files |
| Mon, 27 Jul 2009 09:01:13 +0200 | haftmann | NEWS | changeset | files |
| Sun, 26 Jul 2009 22:33:32 +0200 | wenzelm | tacticals FOCUS and FOCUS_PARAMS; | changeset | files |
| Sun, 26 Jul 2009 22:28:31 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | changeset | files |
| Sun, 26 Jul 2009 22:24:13 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | changeset | files |