Replace Sys.time by Unix.time in main.ml.
[Faustine.git] / benchmarks /
drwxr-xr-x   ..
-rw-r--r-- 179102 log_64_64_fft2d.txt
-rw-r--r-- 113913 log_sin.txt