| Tue, 06 Sep 2011 20:55:18 +0200 | wenzelm | bulk reports for improved message throughput; | changeset | files |
| Tue, 06 Sep 2011 20:37:07 +0200 | wenzelm | bulk reports for improved message throughput; | changeset | files |
| Tue, 06 Sep 2011 19:48:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 06 Sep 2011 11:25:27 +0200 | wenzelm | more specific message channels to avoid potential bottle-neck of raw_messages; | changeset | files |
| Tue, 06 Sep 2011 11:18:19 +0200 | wenzelm | buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread; | changeset | files |
| Tue, 06 Sep 2011 10:27:04 +0200 | wenzelm | more abstract receiver interface; | changeset | files |
| Tue, 06 Sep 2011 10:16:12 +0200 | wenzelm | flush after Output.raw_message (and init message) for reduced latency of important protocol events; | changeset | files |