Commits · ef6abbb6f7ce403996b86ad4770a5616604aa2a2 · Jonas Kastberg / iris

20 Oct, 2017 1 commit
- fix gitlab-extract · ef6abbb6
  Ralf Jung authored Oct 20, 2017
  
  ef6abbb6
22 Aug, 2017 1 commit
- prepare parse_log for coq 8.7 · 411cd5dc
  Ralf Jung authored Aug 22, 2017
  
  411cd5dc
03 Jan, 2017 1 commit
- update gitlab-extract to handle the double-CI-build (Coq 8.5 and 8.6) · 49142779
  Ralf Jung authored Jan 03, 2017
  
  49142779
15 Jul, 2016 1 commit
- make the extract script work better · 4d81d151
  Ralf Jung authored Jul 15, 2016
  
  4d81d151
07 Jun, 2016 1 commit
- benchmark visualize: but legend next to graph · 6405ebbc
  Ralf Jung authored Jun 07, 2016
  
  6405ebbc
21 Apr, 2016 1 commit
- benchmark: ignore bad lines (happens due to concurrent compilation) · 9afa0407
  Ralf Jung authored Apr 21, 2016
  
  9afa0407
13 Apr, 2016 1 commit
- ignore more things · c1fb1a06
  Ralf Jung authored Apr 13, 2016
  
  c1fb1a06
11 Mar, 2016 1 commit
- benchmark extractor: deal with builds that are still running · a56e6ab8
  Ralf Jung authored Mar 11, 2016
  
  a56e6ab8
04 Mar, 2016 1 commit
- ignore more logfiles · d535d95f
  Ralf Jung authored Mar 04, 2016
  
  d535d95f
03 Mar, 2016 3 commits
- fix gitlab extractor to be more robust · a0855325
  Ralf Jung authored Mar 03, 2016
  
  a0855325
- better position for the legend · 013daeaf
  Ralf Jung authored Mar 03, 2016
  
  013daeaf
- benchmak/visualizer: can now restrict the graph to a given commit range · f4f496b8
  Ralf Jung authored Mar 03, 2016
  
  f4f496b8
25 Feb, 2016 1 commit
- benchmark visualizer: better position for the legend · eb956943
  Ralf Jung authored Feb 25, 2016
  
  eb956943
24 Feb, 2016 7 commits
- make plots with many lines more readable · 2074187f
  Ralf Jung authored Feb 24, 2016
  
  2074187f
- extractor can now automatically fetch missing new commits · e1067d01
  Ralf Jung authored Feb 24, 2016
  
  e1067d01
- make the visualizer visual · 500176fd
  Ralf Jung authored Feb 24, 2016
  
  500176fd
- start work on a build-times visualizer · 66bb3579
  Ralf Jung authored Feb 24, 2016
  
  66bb3579
- benchmark-extractor: deal correctly with individual commits · 1a66d561
  Ralf Jung authored Feb 24, 2016
  
  1a66d561
- the extractor script can now iterate over commits, and get the build artifact · 18f2e6b0
  Ralf Jung authored Feb 24, 2016
  
  18f2e6b0
- first version of a script ti extract benachmark results from GitLab · 115c4a17
  Ralf Jung authored Feb 24, 2016
  
  115c4a17
15 Oct, 2015 1 commit
- improve benchmark script · 0b364bb5
  Ralf Jung authored Oct 15, 2015
  
  0b364bb5
24 Mar, 2015 1 commit
- more opaque wp; add a benchmark script · bfca339f
  Ralf Jung authored Mar 24, 2015
  
  bfca339f