chiark / gitweb /
Dump optimisation results too