| Thu, 04 Oct 2018 13:08:13 +0200 |
Lars Hupel |
Jenkins: tuned profiles
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 16:49:13 +0200 |
Lars Hupel |
benchmark doesn't need to build documents
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 16:48:59 +0200 |
Lars Hupel |
benchmark profile runs on small worker now (6 cores)
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 15:56:56 +0200 |
wenzelm |
serious measurements require jobs = 1;
|
file |
diff |
annotate
|
| 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
|