summaryrefslogtreecommitdiff
path: root/test/spass
ModeNameSize
-rw-r--r--.depend7925logplain
-rw-r--r--AUTHORS585logplain
-rw-r--r--COPYING17989logplain
-rw-r--r--LICENSE.TXT23logplain
-rw-r--r--Makefile1099logplain
-rw-r--r--Makefile.bak259logplain
-rw-r--r--README2591logplain
-rw-r--r--VERSIONHISTORY4553logplain
-rw-r--r--analyze.c30476logplain
-rw-r--r--analyze.h4548logplain
-rw-r--r--approx.h3259logplain
-rw-r--r--clause.c154918logplain
-rw-r--r--clause.h47458logplain
-rw-r--r--clock.c7402logplain
-rw-r--r--clock.h3446logplain
-rw-r--r--closure.c14175logplain
-rw-r--r--closure.h3316logplain
-rw-r--r--cnf.c165682logplain
-rw-r--r--cnf.h5277logplain
-rw-r--r--component.c9085logplain
-rw-r--r--component.h5335logplain
-rw-r--r--condensing.c3991logplain
-rw-r--r--condensing.h3262logplain
-rw-r--r--context.c19876logplain
-rw-r--r--context.h28362logplain
-rw-r--r--defs.c46538logplain
-rw-r--r--defs.h7159logplain
-rw-r--r--dfg.h4050logplain
-rw-r--r--dfgparser.c125051logplain
-rw-r--r--dfgparser.h4567logplain
-rw-r--r--dfgscanner.c154919logplain
-rw-r--r--doc-proof.c9399logplain
-rw-r--r--doc-proof.h4039logplain
-rw-r--r--flags.c30465logplain
-rw-r--r--flags.h34482logplain
-rw-r--r--foldfg.c78299logplain
-rw-r--r--foldfg.h10229logplain
-rw-r--r--graph.c11492logplain
-rw-r--r--graph.h4902logplain
-rw-r--r--hash.c4291logplain
-rw-r--r--hash.h4375logplain
-rw-r--r--hasharray.c5585logplain
-rw-r--r--hasharray.h9009logplain
-rw-r--r--ia.h3012logplain
-rw-r--r--iaparser.c49597logplain
-rw-r--r--iaparser.h2298logplain
-rw-r--r--iascanner.c50288logplain
-rw-r--r--kbo.c19701logplain
-rw-r--r--kbo.h3430logplain
-rw-r--r--list.c49547logplain
-rw-r--r--list.h12175logplain
-rw-r--r--memory.c54983logplain
-rw-r--r--memory.h16490logplain
-rw-r--r--misc.c5474logplain
-rw-r--r--misc.h5656logplain
-rw-r--r--options.c60884logplain
-rw-r--r--options.h5266logplain
-rw-r--r--order.c17973logplain
-rw-r--r--order.h5648logplain
-rw-r--r--partition.c9297logplain
-rw-r--r--partition.h5605logplain
-rw-r--r--problem.dfg18724logplain
-rw-r--r--proofcheck.c47346logplain
-rw-r--r--proofcheck.h3602logplain
-rw-r--r--ras.h9276logplain
-rw-r--r--renaming.c51593logplain
-rw-r--r--renaming.h6214logplain
-rw-r--r--resolution.c6488logplain
-rw-r--r--resolution.h3691logplain
-rw-r--r--rpos.c19337logplain
-rw-r--r--rpos.h3844logplain
-rw-r--r--rules-inf.c148412logplain
-rw-r--r--rules-inf.h7695logplain
-rw-r--r--rules-red.c154636logplain
-rw-r--r--rules-red.h4496logplain
-rw-r--r--rules-sort.c60754logplain
-rw-r--r--rules-sort.h4092logplain
-rw-r--r--rules-split.c18082logplain
-rw-r--r--rules-split.h3594logplain
-rw-r--r--rules-ur.c15079logplain
-rw-r--r--rules-ur.h2953logplain
-rw-r--r--search.c47298logplain
-rw-r--r--search.h15434logplain
-rw-r--r--sharing.c36266logplain
-rw-r--r--sharing.h9037logplain
-rw-r--r--small_problem.dfg3328logplain
-rw-r--r--sort.c69297logplain
-rw-r--r--sort.h15677logplain
-rw-r--r--st.c45739logplain
-rw-r--r--st.h8912logplain
-rw-r--r--stack.c3026logplain
-rw-r--r--stack.h5077logplain
-rw-r--r--strings.c11069logplain
-rw-r--r--stringsx.h3846logplain
-rw-r--r--subst.c20638logplain
-rw-r--r--subst.h7656logplain
-rw-r--r--subsumption.c55832logplain
-rw-r--r--subsumption.h3984logplain
-rw-r--r--symbol.c33906logplain
-rw-r--r--symbol.h23467logplain
-rw-r--r--table.c16479logplain
-rw-r--r--table.h4904logplain
-rw-r--r--tableau.c28397logplain
-rw-r--r--tableau.h8334logplain
-rw-r--r--term.c73284logplain
-rw-r--r--term.h17124logplain
-rw-r--r--terminator.c13211logplain
-rw-r--r--terminator.h3000logplain
-rw-r--r--top.c59199logplain
-rw-r--r--unify.c26610logplain
-rw-r--r--unify.h5665logplain
-rw-r--r--vector.c4799logplain
-rw-r--r--vector.h5530logplain