Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | IntegerConversionRules.hs | 286 | logplain |
-rw-r--r-- | Makefile | 2532 | logplain |
-rw-r--r-- | all.T | 826 | logplain |
-rw-r--r-- | fromToInteger.hs | 185 | logplain |
-rw-r--r-- | gcdInteger.hs | 240 | logplain |
-rw-r--r-- | gcdInteger.stdout | 20 | logplain |
-rw-r--r-- | gcdInteger.stdout-ws-32 | 11 | logplain |
-rw-r--r-- | integerBits.hs | 8148 | logplain |
-rw-r--r-- | integerBits.stdout | 10 | logplain |
-rw-r--r-- | integerConstantFolding.hs | 6453 | logplain |
-rw-r--r-- | integerConstantFolding.stdout | 1127 | logplain |
-rw-r--r-- | integerConversions.hs | 2853 | logplain |
-rw-r--r-- | integerConversions.stdout | 12594 | logplain |
-rw-r--r-- | integerConversions.stdout-ws-64 | 15584 | logplain |
-rw-r--r-- | integerGmpInternals.hs | 5710 | logplain |
-rw-r--r-- | integerGmpInternals.stdout | 2917 | logplain |