drwxr-xr-x | .. | ||
-rw-r--r-- | 221 | IntegerConversionRules.hs | blob | history | raw |
-rw-r--r-- | 2689 | Makefile | blob | history | raw |
-rw-r--r-- | 109 | T7041.hs | blob | history | raw |
-rw-r--r-- | 738 | all.T | blob | history | raw |
-rw-r--r-- | 185 | fromToInteger.hs | blob | history | raw |
-rw-r--r-- | 240 | gcdInteger.hs | blob | history | raw |
-rw-r--r-- | 20 | gcdInteger.stdout | blob | history | raw |
-rw-r--r-- | 11 | gcdInteger.stdout-ws-32 | blob | history | raw |
-rw-r--r-- | 8148 | integerBits.hs | blob | history | raw |
-rw-r--r-- | 10 | integerBits.stdout | blob | history | raw |
-rw-r--r-- | 6261 | integerConstantFolding.hs | blob | history | raw |
-rw-r--r-- | 1096 | integerConstantFolding.stdout | blob | history | raw |
-rw-r--r-- | 2853 | integerConversions.hs | blob | history | raw |
-rw-r--r-- | 12594 | integerConversions.stdout | blob | history | raw |
-rw-r--r-- | 15584 | integerConversions.stdout-ws-64 | blob | history | raw |