Add greek mu

Author: OliverRietmann

.github/scripts/csv_to_md.py

@@ -35,5 +35,5 @@ def get_emoji(d, stdev):
   emoji = get_emoji(diff, stdev)
   table.append([name, int(mean), f'{stdev:.2f}', int(diff), f'{impact:.2f}', emoji])
 
-header = ['name', 'mean (ms)', 'stdev \u03C3', 'diff \u0394', '\u0394 / \u03C3', '']
+header = ['name', 'mean (\u03BCs)', 'stdev \u03C3', 'diff \u0394', '\u0394 / \u03C3', '']
 print(tab.tabulate(table, header, tablefmt="github"))

.github/scripts/profiler_rocm.py

@@ -1,6 +1,5 @@
 import argparse
 import csv
-import math
 import statistics
 
 parser = argparse.ArgumentParser()
@@ -25,8 +24,9 @@
 
 data = [["name", "time", "stdev"]]
 for name, time_list in time_dict.items():
-  mean = math.fsum(time_list) / args.runs
-  stdev = 0 if args.runs == 1 else statistics.stdev(time_list) * len(time_list) / args.runs
+  count = len(time_list) / args.runs
+  mean = statistics.mean(time_list) * count
+  stdev = 0 if args.runs == 1 else statistics.stdev(time_list) * count
   data.append([name, mean, stdev])
 
 with open(args.output, 'w') as csv_file: