Main for benchmarks.
authorLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:02:29 +0000 (13:02 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:02:29 +0000 (13:02 +0200)
commit43a31a961878f0d7b4c7bec792a753751abb3f13
treec0970fce947cd2045f98ebf67654cf8eaa3b1f5d
parent642af0fb68cca0c531da8d0d175297d811d51cc0
Main for benchmarks.
src/bench.ml [new file with mode: 0644]