| Fri, 16 Sep 2016 15:54:50 +0200 | wenzelm | sessions that are relevant for routine timing measurements; | file | diff | annotate |
| Wed, 06 Jul 2016 13:45:52 +0200 | Lars Hupel | simplify build scripts | file | diff | annotate |
| Mon, 04 Jul 2016 18:20:51 +0200 | Lars Hupel | tuned | file | diff | annotate |
| Wed, 22 Jun 2016 16:47:55 +0200 | Lars Hupel | adjust job/thread count for new hardware | file | diff | annotate |
| Sun, 19 Jun 2016 17:40:51 +0200 | Lars Hupel | benchmark build profile | file | diff | annotate |