Rodrigo Arias Mallo 63aa07dad5 heat: update granularity plot with modern ggplot		2021-04-06 18:40:19 +02:00
..
cache.R	heat: add more figures from perf counters	2021-03-09 18:21:59 +01:00
granul.R	heat: update granularity plot with modern ggplot	2021-04-06 18:40:19 +02:00
mode.R	heat: add bar plot with time distribution	2021-04-06 11:05:56 +02:00