Sat, 02 Nov 2019 12:02:27 +0100 | wenzelm | more scalable protocol_message: use XML.body directly (Output.output hook is not required); | file | diff | annotate |
Thu, 22 Jun 2017 14:27:13 +0200 | wenzelm | more informative task_statistics; | file | diff | annotate |
Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | 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 |