diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-11-14 11:41:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-11-14 11:41:56 -0500 |
| commit | 85a63f97f55b1381e8fe009a7f79f008e63c7197 (patch) | |
| tree | d1151730f030bac445648e3d9f1a6b287e1c8c03 /folkwisdom.md | |
| parent | 5e8c5a2253bc635e0ea89134c3b29e6c1104ebc6 (diff) | |
A small script for calculating speedup ratios from results
Diffstat (limited to 'folkwisdom.md')
0 files changed, 0 insertions, 0 deletions