summaryrefslogtreecommitdiff
path: root/bench/runner.myr
AgeCommit message (Collapse)Author
2014-08-15Add benchmarking runner and makefile.Ori Bernstein
Now you can do 'make bench', and see how fast Myrddin runs. Or at least the integer sorting bit. TODO: expand this so that you can see how it compares to previous results, and add benchmarks.