Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 930 | logstatsplain |
-rw-r--r-- | almabench.ml | 14423 | logstatsplain |
-rw-r--r-- | almabench.reference | 110 | logstatsplain |
-rw-r--r-- | fft.ml | 4862 | logstatsplain |
-rw-r--r-- | fft.reference | 176 | logstatsplain |
-rw-r--r-- | quicksort.ml | 2707 | logstatsplain |
-rw-r--r-- | quicksort.reference | 6 | logstatsplain |
-rw-r--r-- | soli.ml | 3426 | logstatsplain |
-rw-r--r-- | soli.reference | 311 | logstatsplain |