Export metric summaries and adapt analysis scripts

scripts/plot_progression.py

@@ -53,7 +53,7 @@ with open(args.file) as f:
 
 for result in results:
     label = result["command"]
-    times = result["times"]
+    times = [m["time_wall_clock"]["value"] for m in result["measurements"]]
     num = len(times)
     nums = range(num)
 
@@ -63,7 +63,9 @@ for result in results:
 
     if not args.no_moving_average:
         moving_average_width = (
-            num // 5 if args.moving_average_width is None else args.moving_average_width
+            max(1, num // 5)
+            if args.moving_average_width is None
+            else args.moving_average_width
         )
 
         average = moving_average(times, moving_average_width)