spass « test - debian-compcert - Debian packaging for CompCert

Mode	Name	Size
-rw-r--r--	.depend	7925	log plain
-rw-r--r--	AUTHORS	585	log plain
-rw-r--r--	COPYING	17989	log plain
-rw-r--r--	LICENSE.TXT	23	log plain
-rw-r--r--	Makefile	1239	log plain
-rw-r--r--	README	2591	log plain
-rw-r--r--	VERSIONHISTORY	4553	log plain
-rw-r--r--	analyze.c	30476	log plain
-rw-r--r--	analyze.h	4548	log plain
-rw-r--r--	approx.h	3259	log plain
-rw-r--r--	clause.c	154918	log plain
-rw-r--r--	clause.h	47458	log plain
-rw-r--r--	clock.c	7402	log plain
-rw-r--r--	clock.h	3446	log plain
-rw-r--r--	closure.c	14175	log plain
-rw-r--r--	closure.h	3316	log plain
-rw-r--r--	cnf.c	165682	log plain
-rw-r--r--	cnf.h	5277	log plain
-rw-r--r--	component.c	9085	log plain
-rw-r--r--	component.h	5335	log plain
-rw-r--r--	condensing.c	3991	log plain
-rw-r--r--	condensing.h	3262	log plain
-rw-r--r--	context.c	19876	log plain
-rw-r--r--	context.h	28362	log plain
-rw-r--r--	defs.c	46538	log plain
-rw-r--r--	defs.h	7159	log plain
-rw-r--r--	dfg.h	4050	log plain
-rw-r--r--	dfgparser.c	125051	log plain
-rw-r--r--	dfgparser.h	4567	log plain
-rw-r--r--	dfgscanner.c	154919	log plain
-rw-r--r--	doc-proof.c	9399	log plain
-rw-r--r--	doc-proof.h	4039	log plain
-rw-r--r--	flags.c	30465	log plain
-rw-r--r--	flags.h	34482	log plain
-rw-r--r--	foldfg.c	78299	log plain
-rw-r--r--	foldfg.h	10229	log plain
-rw-r--r--	graph.c	11492	log plain
-rw-r--r--	graph.h	4902	log plain
-rw-r--r--	hash.c	4291	log plain
-rw-r--r--	hash.h	4375	log plain
-rw-r--r--	hasharray.c	5585	log plain
-rw-r--r--	hasharray.h	9009	log plain
-rw-r--r--	ia.h	3012	log plain
-rw-r--r--	iaparser.c	49597	log plain
-rw-r--r--	iaparser.h	2298	log plain
-rw-r--r--	iascanner.c	50288	log plain
-rw-r--r--	kbo.c	19701	log plain
-rw-r--r--	kbo.h	3430	log plain
-rw-r--r--	list.c	49547	log plain
-rw-r--r--	list.h	12175	log plain
-rw-r--r--	memory.c	54983	log plain
-rw-r--r--	memory.h	16490	log plain
-rw-r--r--	misc.c	5474	log plain
-rw-r--r--	misc.h	5656	log plain
-rw-r--r--	options.c	60884	log plain
-rw-r--r--	options.h	5266	log plain
-rw-r--r--	order.c	17973	log plain
-rw-r--r--	order.h	5648	log plain
-rw-r--r--	partition.c	9297	log plain
-rw-r--r--	partition.h	5605	log plain
-rw-r--r--	problem.dfg	18724	log plain
-rw-r--r--	proofcheck.c	47346	log plain
-rw-r--r--	proofcheck.h	3602	log plain
-rw-r--r--	ras.h	9276	log plain
-rw-r--r--	renaming.c	51593	log plain
-rw-r--r--	renaming.h	6214	log plain
-rw-r--r--	resolution.c	6488	log plain
-rw-r--r--	resolution.h	3691	log plain
-rw-r--r--	rpos.c	19337	log plain
-rw-r--r--	rpos.h	3844	log plain
-rw-r--r--	rules-inf.c	148412	log plain
-rw-r--r--	rules-inf.h	7695	log plain
-rw-r--r--	rules-red.c	154636	log plain
-rw-r--r--	rules-red.h	4496	log plain
-rw-r--r--	rules-sort.c	60754	log plain
-rw-r--r--	rules-sort.h	4092	log plain
-rw-r--r--	rules-split.c	18082	log plain
-rw-r--r--	rules-split.h	3594	log plain
-rw-r--r--	rules-ur.c	15079	log plain
-rw-r--r--	rules-ur.h	2953	log plain
-rw-r--r--	search.c	47298	log plain
-rw-r--r--	search.h	15434	log plain
-rw-r--r--	sharing.c	36266	log plain
-rw-r--r--	sharing.h	9037	log plain
-rw-r--r--	small_problem.dfg	3328	log plain
-rw-r--r--	sort.c	69297	log plain
-rw-r--r--	sort.h	15677	log plain
-rw-r--r--	st.c	45739	log plain
-rw-r--r--	st.h	8912	log plain
-rw-r--r--	stack.c	3026	log plain
-rw-r--r--	stack.h	5077	log plain
-rw-r--r--	strings.c	11069	log plain
-rw-r--r--	stringsx.h	3846	log plain
-rw-r--r--	subst.c	20638	log plain
-rw-r--r--	subst.h	7656	log plain
-rw-r--r--	subsumption.c	55832	log plain
-rw-r--r--	subsumption.h	3984	log plain
-rw-r--r--	symbol.c	33906	log plain
-rw-r--r--	symbol.h	23467	log plain
-rw-r--r--	table.c	16479	log plain
-rw-r--r--	table.h	4904	log plain
-rw-r--r--	tableau.c	28397	log plain
-rw-r--r--	tableau.h	8334	log plain
-rw-r--r--	term.c	73284	log plain
-rw-r--r--	term.h	17124	log plain
-rw-r--r--	terminator.c	13211	log plain
-rw-r--r--	terminator.h	3000	log plain
-rw-r--r--	top.c	59199	log plain
-rw-r--r--	unify.c	26610	log plain
-rw-r--r--	unify.h	5665	log plain
-rw-r--r--	vector.c	4799	log plain
-rw-r--r--	vector.h	5530	log plain