Age | Commit message (Expand) | Author |
---|---|---|
2016-09-17 | Convert the times and get the statistics with R | Silvan Jegen |
2016-09-16 | Get rid of unneeded characters in the measurements | Silvan Jegen |
2016-09-15 | Repeat the runs 10 times | Silvan Jegen |
2016-09-15 | Add benchmarking scripts and benchmarking subset | Silvan Jegen |