| Sat, 23 Feb 2019 21:33:09 +0100 | wenzelm | more memory fields; | file | diff | annotate |
| Wed, 20 Feb 2019 12:10:40 +0100 | wenzelm | updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); | file | diff | annotate |
| Wed, 09 May 2018 19:53:37 +0200 | wenzelm | record total number of tasks; | file | diff | annotate |
| Sat, 03 Mar 2018 21:38:27 +0100 | wenzelm | more compact ML_Statistics, to make build_status work with less than 2GB heap; | file | diff | annotate |
| Thu, 18 May 2017 14:38:09 +0200 | wenzelm | uniform heap_scale; | file | diff | annotate |
| Thu, 18 May 2017 13:51:25 +0200 | wenzelm | simplified signature; | file | diff | annotate |
| Wed, 17 May 2017 22:27:33 +0200 | wenzelm | more systematic maximum and average; | file | diff | annotate |