git.haskell.org - nofib.git/tree

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