svg histograms

hysop/backend/device/kernel_autotuner_statistics.py

@@ -86,8 +86,8 @@ class AutotunedKernelStatistics(dict):
         axe.axvline(x=vnmean, label=r'median: ${:.1f} {unit}$ (x{:.1f})'.format(vmean, vnmean/vnmin, unit=unit), color='darkorange')
         axe.axvline(x=vnmax,  label=r'worst: ${:.1f} {unit}$ (x{:.1f})'.format(vmax, vnmax/vnmin, unit=unit), color='r')
         axe.legend(framealpha=1.0, title='Execution times')
-        fig.savefig('{}/{}_histo.png'.format(
-            self.tkernel.autotuner_config.dump_folder, self.file_basename))
+        fname = '{}/{}_histo.svg'.format(self.tkernel.autotuner_config.dump_folder, self.file_basename)
+        fig.savefig(fname, bbox_inches='tight', format='svg')
 
     def collect_exec_times(self):
         run_times = ()