spass « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

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