[project @ 2001-03-12 16:00:46 by sewardj]
[nofib.git] / real / anna /
drwxr-xr-x   ..
-rw-r--r-- 14407 AbsConc3.hs
-rw-r--r-- 2368 AbstractEval2.hs
-rw-r--r-- 5238 AbstractMisc.hs
-rw-r--r-- 14504 AbstractVals2.hs
-rw-r--r-- 2990 Apply.hs
-rw-r--r-- 14162 BarakiConc3.hs
-rw-r--r-- 4945 BarakiMeet.hs
-rw-r--r-- 13554 BaseDefs.hs
-rw-r--r-- 7564 Constructors.hs
-rw-r--r-- 6151 Dependancy.hs
-rw-r--r-- 4703 DomainExpr.hs
-rw-r--r-- 4016 EtaAbstract.hs
-rw-r--r-- 11859 FrontierDATAFN2.hs
-rw-r--r-- 10786 FrontierGENERIC2.hs
-rw-r--r-- 3751 FrontierMisc2.hs
-rw-r--r-- 7454 Inverse.hs
-rw-r--r-- 15931 LambdaLift5.hs
-rw-r--r-- 8206 Main.hs
-rw-r--r-- 2590 MakeDomains.hs
-rw-r--r-- 320 Makefile
-rw-r--r-- 1304 Monster.hs
-rw-r--r-- 373 Monstermakefile
-rw-r--r-- 4323 MyUtils.hs
-rw-r--r-- 18865 Parser2.hs
-rw-r--r-- 4361 PrettyPrint.hs
-rw-r--r-- 5947 PrintResults.hs
-rw-r--r-- 832 README
-rw-r--r-- 3241 ReadTable.hs
-rw-r--r-- 3068 Simplify.hs
-rw-r--r-- 10693 SmallerLattice.hs
-rw-r--r-- 37239 StrictAn6.hs
-rw-r--r-- 9424 SuccsAndPreds2.hs
-rw-r--r-- 3224 TExpr2DExpr.hs
-rw-r--r-- 1687 Testmakefile
-rw-r--r-- 32638 TypeCheck5.hs
-rw-r--r-- 16297 Utils.hs
-rw-r--r-- 47 anna.postscript
-rw-r--r-- 41 anna.prescript
-rw-r--r-- 49127 anna.stdout
-rw-r--r-- 421 anna_table
-rw-r--r-- 2216 ap_CaseAlts.cor
-rw-r--r-- 1927 ap_CaseArgs.cor
-rw-r--r-- 2023 ap_CaseOfCase.cor
-rw-r--r-- 1813 ap_CaseOfCase2.cor
-rw-r--r-- 2901 ap_CaseOfCase3.cor
-rw-r--r-- 2036 ap_FuncCall.cor
-rw-r--r-- 1549 ap_ListOfList.cor
-rw-r--r-- 1801 ap_SemiLazyAdd.cor
-rw-r--r-- 1366 ap_SemiLazyCase.cor
-rw-r--r-- 1128 ap_SimpleLazy.cor
-rw-r--r-- 1194 ap_SimpleStrict.cor
-rw-r--r-- 321 ap_Unzip.cor
-rw-r--r-- 1596 ap_Zip.cor
-rw-r--r-- 125 append.cor
-rw-r--r-- 2575 avlTree.cor
-rw-r--r-- 6859 big.cor
-rw-r--r-- 12 big.sum.out
-rw-r--r-- 2885 bmark.cor
-rw-r--r-- 65 bomb.cor
-rw-r--r-- 130 bomb2.cor
-rw-r--r-- 707 bug.cor
-rw-r--r-- 289 bug_Anna1.cor
-rw-r--r-- 174 bug_Anna2.cor
-rw-r--r-- 831 bug_Anna3.cor
-rw-r--r-- 1124 bug_Anna4.cor
-rw-r--r-- 245 bug_Anna5.cor
-rw-r--r-- 99 bug_Anna6.cor
-rw-r--r-- 269 bug_types1.cor
-rw-r--r-- 210 bug_types2.cor
-rw-r--r-- 279 bury.cor
-rw-r--r-- 2883 cfoldr.cor
-rw-r--r-- 217 concat.cor
-rw-r--r-- 217 concat22.cor
-rw-r--r-- 277 concat24.cor
-rw-r--r-- 304 concat44.cor
-rw-r--r-- 1597 coreExpr.cor
-rw-r--r-- 663 coreExpr0.cor
-rw-r--r-- 3223 divide.cor
-rw-r--r-- 1420 dividetree.cor
-rw-r--r-- 1439 dot_3.cor
-rw-r--r-- 1004 dot_4.cor
-rw-r--r-- 219 eta.cor
-rw-r--r-- 371 filter.cor
-rw-r--r-- 220 foldrFoldl.cor
-rw-r--r-- 1759 fourier.cor
-rw-r--r-- 1558 funcDomain.cor
-rw-r--r-- 2072 higherOrder.cor
-rw-r--r-- 260 john.cor
-rw-r--r-- 702 llfiasco.cor
-rw-r--r-- 1254 manyIterate.cor
-rw-r--r-- 226 mutualRec.cor
-rw-r--r-- 96 nofib_driver
-rw-r--r-- 855 ol_num.cor
-rw-r--r-- 260 pairid.cor
-rw-r--r-- 54 parallelOr.cor
-rw-r--r-- 413 poly_loseGain.cor
-rw-r--r-- 1988 poly_simple.cor
-rw-r--r-- 10895 preludeList.cor
-rw-r--r-- 172 realNasties.cor
-rw-r--r-- 231 reverse.cor
-rw-r--r-- 484 sebastian1.cor
-rw-r--r-- 569 sebastian2.cor
-rw-r--r-- 1762 sets.cor
-rw-r--r-- 5207 standardTest.cor
-rw-r--r-- 373 treeDepth.cor