Support higher timing precision in output parser
[nofib.git] / spectral / fibheaps /
drwxr-xr-x   ..
-rw-r--r-- 10098 Main.lhs
-rw-r--r-- 127 Makefile
-rw-r--r-- 4 fibheaps.stdout
-rw-r--r-- 9939 orig