| Mon, 29 Jun 2015 20:55:46 +0200 | wenzelm | improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded); | changeset | files |
| Mon, 29 Jun 2015 19:27:07 +0200 | wenzelm | clarified static phase; | changeset | files |
| Mon, 29 Jun 2015 16:07:55 +0200 | wenzelm | tuned proofs; | changeset | files |