Fri, 31 Oct 2014 22:48:00 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 27 Jun 2014 22:08:55 +0200 | wenzelm | more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section; | file | diff | annotate |
Fri, 25 Apr 2014 23:42:25 +0200 | wenzelm | manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44); | file | diff | annotate |
Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | file | diff | annotate |
Tue, 30 Jul 2013 21:22:37 +0200 | wenzelm | less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace; | file | diff | annotate |
Wed, 10 Jul 2013 23:25:28 +0200 | wenzelm | more abstract message channel; | file | diff | annotate |