Folder: SPASS

package info (click to toggle)

spass 3.7-2

links: PTS
area: main
in suites: squeeze
size: 5,500 kB
ctags: 5,981
sloc: ansic: 50,634; yacc: 3,038; sh: 1,072; lex: 430; perl: 407; makefile: 394

			.. (parent)
-	rw-r--r--	30,116	analyze.c
-	rw-r--r--	4,212	analyze.h
-	rw-r--r--	39,247	approx.c
-	rw-r--r--	2,796	approx.h
-	rw-r--r--	189,390	clause.c
-	rw-r--r--	46,831	clause.h
-	rw-r--r--	6,825	clock.c
-	rw-r--r--	3,036	clock.h
-	rw-r--r--	13,760	closure.c
-	rw-r--r--	2,841	closure.h
-	rw-r--r--	13,140	cmdline.c
-	rw-r--r--	3,273	cmdline.h
-	rw-r--r--	177,400	cnf.c
-	rw-r--r--	4,812	cnf.h
-	rw-r--r--	8,660	component.c
-	rw-r--r--	4,875	component.h
-	rw-r--r--	3,533	condensing.c
-	rw-r--r--	2,804	condensing.h
-	rw-r--r--	2,501	config.h.in
-	rw-r--r--	26,793	context.c
-	rw-r--r--	27,053	context.h
-	rw-r--r--	46,154	defs.c
-	rw-r--r--	6,694	defs.h
-	rw-r--r--	7,029	description.c
-	rw-r--r--	2,631	description.h
-	rw-r--r--	3,516	dfg.h
-	rw-r--r--	7,053	dfg2ascii.c
-	rw-r--r--	9,007	dfg2dfg.c
-	rw-r--r--	8,507	dfg2otter.c
-	rw-r--r--	14,263	dfg2tptp.c
-	rw-r--r--	177,442	dfgparser.c
-	rw-r--r--	6,511	dfgparser.h
-	rw-r--r--	80,164	dfgparser.y
-	rw-r--r--	76,988	dfgscanner.c
-	rw-r--r--	7,895	dfgscanner.l
-	rw-r--r--	9,485	doc-proof.c
-	rw-r--r--	3,579	doc-proof.h
-	rw-r--r--	105,982	eml.c
-	rw-r--r--	10,421	eml.h
-	rw-r--r--	50,358	flags.c
-	rw-r--r--	45,137	flags.h
-	rw-r--r--	79,097	foldfg.c
-	rw-r--r--	9,883	foldfg.h
-	rw-r--r--	11,029	graph.c
-	rw-r--r--	4,439	graph.h
-	rw-r--r--	4,135	hash.c
-	rw-r--r--	3,952	hash.h
-	rw-r--r--	6,249	hasharray.c
-	rw-r--r--	8,646	hasharray.h
-	rw-r--r--	7,524	hashmap.c
-	rw-r--r--	2,462	hashmap.h
-	rw-r--r--	2,545	ia.h
-	rw-r--r--	61,304	iaparser.c
-	rw-r--r--	2,820	iaparser.h
-	rw-r--r--	16,510	iaparser.y
-	rw-r--r--	48,776	iascanner.c
-	rw-r--r--	4,366	iascanner.l
-	rw-r--r--	26,311	kbo.c
-	rw-r--r--	3,082	kbo.h
-	rw-r--r--	49,885	list.c
-	rw-r--r--	11,423	list.h
-	rw-r--r--	57,439	memory.c
-	rw-r--r--	13,253	memory.h
-	rw-r--r--	10,240	misc.c
-	rw-r--r--	4,863	misc.h
-	rw-r--r--	24,128	order.c
-	rw-r--r--	5,577	order.h
-	rw-r--r--	8,820	partition.c
-	rw-r--r--	5,128	partition.h
-	rw-r--r--	47,397	proofcheck.c
-	rw-r--r--	3,124	proofcheck.h
-	rw-r--r--	3,503	ras.c
-	rw-r--r--	8,255	ras.h
-	rw-r--r--	52,258	renaming.c
-	rw-r--r--	5,777	renaming.h
-	rw-r--r--	6,029	resolution.c
-	rw-r--r--	3,232	resolution.h
-	rw-r--r--	26,576	rpos.c
-	rw-r--r--	3,077	rpos.h
-	rw-r--r--	148,130	rules-inf.c
-	rw-r--r--	7,237	rules-inf.h
-	rw-r--r--	300,635	rules-red.c
-	rw-r--r--	4,446	rules-red.h
-	rw-r--r--	59,079	rules-sort.c
-	rw-r--r--	3,636	rules-sort.h
-	rw-r--r--	26,525	rules-split.c
-	rw-r--r--	3,136	rules-split.h
-	rw-r--r--	14,618	rules-ur.c
-	rw-r--r--	2,493	rules-ur.h
-	rw-r--r--	54,080	search.c
-	rw-r--r--	18,752	search.h
-	rw-r--r--	35,804	sharing.c
-	rw-r--r--	8,575	sharing.h
-	rw-r--r--	50,374	sort.c
-	rw-r--r--	12,534	sort.h
-	rw-r--r--	45,938	st.c
-	rw-r--r--	8,510	st.h
-	rw-r--r--	2,562	stack.c
-	rw-r--r--	4,614	stack.h
-	rw-r--r--	13,119	strings.c
-	rw-r--r--	3,432	strings.h
-	rw-r--r--	20,168	subst.c
-	rw-r--r--	7,192	subst.h
-	rw-r--r--	56,558	subsumption.c
-	rw-r--r--	3,397	subsumption.h
-	rw-r--r--	45,900	symbol.c
-	rw-r--r--	22,518	symbol.h
-	rw-r--r--	16,082	table.c
-	rw-r--r--	4,427	table.h
-	rw-r--r--	35,246	tableau.c
-	rw-r--r--	7,962	tableau.h
-	rw-r--r--	73,050	term.c
-	rw-r--r--	16,661	term.h
-	rw-r--r--	12,752	terminator.c
-	rw-r--r--	2,541	terminator.h
-	rw-r--r--	71,434	top.c
-	rw-r--r--	2,288	tptp.h
-	rw-r--r--	12,074	tptp2dfg.c
-	rw-r--r--	105,134	tptpparser.c
-	rw-r--r--	3,964	tptpparser.h
-	rw-r--r--	44,406	tptpparser.y
-	rw-r--r--	59,388	tptpscanner.c
-	rw-r--r--	4,938	tptpscanner.l
-	rw-r--r--	26,146	unify.c
-	rw-r--r--	5,202	unify.h
-	rw-r--r--	4,337	vector.c
-	rw-r--r--	5,069	vector.h
-	rw-r--r--	2,849	version.h