100644 blob c373ede86cf15698408caf6efce3729d9d4c90ba	AUTHORS
100644 blob b9d53aaa7c6570e494daff0db0958a8a98f95ebd	CMakeLists.txt
100644 blob eeb586b392a5a7dc63d64ba697374ea37e6e122a	COPYING
100644 blob 72712689ff8bdc9507ca4549b6d97e6ee70b835b	LICENSE.TXT
100644 blob 9bc001b4e525ed659bdf0a2ac9b98b7890f3858b	Makefile
100644 blob efdfb84f1ebd35beec890e64367048cfe74f5528	README
100644 blob 09fcadd8f0e9d67866eed4164984b995c60805c9	SPASS.reference_output
100644 blob fc283fc61797f3a846a88773cd5ce9a20ecf8a6d	SPASS.reference_output.small
100644 blob 448870ccde1710c01f49be6c89950e9426cbf786	VERSIONHISTORY
100644 blob 4f5605542084bf9505e4e47d003d1af3956363a8	analyze.c
100644 blob d3b9656f1524ae5dae644b41247b5fa3d2934451	analyze.h
100644 blob 7529d82c07a362a8e31638685dc9b690e3d5b2ee	approx.h
100644 blob 4207913b5b147371237354ffa2575a1bb20f876f	clause.c
100644 blob 351e9c6dfd0fa0db902ed2e45cbb97d998f9629a	clause.h
100644 blob 1166782b434ef1c1c3ec01f4ae89cf8f44291293	clock.c
100644 blob f643de2cb78bbbd271d2b80037e09c642945ecba	clock.h
100644 blob fa2e557f552dc4757ee62cd991c82c3bc8feeebb	closure.c
100644 blob 857639d30622929855c3e7e450c36fc81f6626c4	closure.h
100644 blob 3de67aa457e34f96650cf1c6f6e53de69e21a299	cnf.c
100644 blob 2e8df006cc839c9aeecb95d7b3d899874f059b83	cnf.h
100644 blob 56fc33bbae7d8eb5b63767a22513187be008ddda	component.c
100644 blob 3c3ab27061e11e0e6a634ff26034765974565d9a	component.h
100644 blob ed60480dc579dfe492b84cac4257990fa4da80ec	condensing.c
100644 blob 1bafc8342e3ed975bf318e8cb0d3183cf523db49	condensing.h
100644 blob 7bbecc680e6a901fa02cd58b20fbdf87d2849085	context.c
100644 blob 798b04ac1b73cfcd0e9a328b5f88a5e08392049d	context.h
100644 blob 51be4b6cb420f90658164fc2942b76f7722b8325	defs.c
100644 blob 34f80677567a89f5fb0eaace7b359d5a56a02a0c	defs.h
100644 blob c555455fac51ab8e6f8a99615b92c9fa9f6625e8	dfg.h
100644 blob 3691271b53b6548d9cb773130c6dadaf2ea40cf0	dfgparser.c
100644 blob 252f1409c891ecbec04131ad072dbfe7ac887c29	dfgparser.h
100644 blob 2adac3afe5be1259e452ef2121562348de8b9d8e	dfgscanner.c
100644 blob 12b3c5cd06d56ebe87f45a2f0f29f6facbece878	doc-proof.c
100644 blob f39dede8956797620d3b3d5f79a51b54610a62ea	doc-proof.h
100644 blob 9e7c2020d2d68482ec11a6f3796ed1f97b97bb7a	flags.c
100644 blob 9f70e82c78e017fe33e80952c3fc32f2b66fcc48	flags.h
100644 blob cf021212c5692a62a1f86cb939007ff972c7e198	foldfg.c
100644 blob cb587fca18e9fdcbd237c8dac6f8acf581a5750e	foldfg.h
100644 blob c8cb25cfbe322db89c60abe8054223c42b0f2a71	graph.c
100644 blob 3df7acc1a9ba7aa20645aac4c0389a36465d95b8	graph.h
100644 blob 9d0b9d589640b019e51cb7bb63b9f88603ab2561	hash.c
100644 blob 1a86bbf2e308310dc8b068ac3426e9bb7ba8af79	hash.h
100644 blob 2092c907d3c6ada84688a1e9bb8bcee9f20d8dd5	hasharray.c
100644 blob 35b0aac1b2182ce703ee41be7a6ad36e4404e828	hasharray.h
100644 blob 6f6fd4496575bb5d01782db216937d7ea5ce5af6	ia.h
100644 blob 4fa8697954a6ef20ea365094f830cf02c20cf218	iaparser.c
100644 blob 32fb09369d1cf32aa8d3a023aacd2988092f8f46	iaparser.h
100644 blob a3388c867366bcf0a2fa7b4f8603c27ae001d867	iascanner.c
100644 blob 81836a30efed52ef12be0c1d102ad7fc2f57a2cc	kbo.c
100644 blob fd6cab12bfa356ced86ad7d1cf20f6b2e69f3d95	kbo.h
100644 blob 89c3276f44a3439af7ea23ce7902f1749f090909	list.c
100644 blob b28ad5da87d30c753e89481400773dd43cc28291	list.h
100644 blob 22dd945d5828478beca3cfab46252dd15b2ac820	memory.c
100644 blob 8c243c80c1e078900fccc73b7439e596096ee5a2	memory.h
100644 blob ffb01ab4addf06856485843b4302bab0001520b3	misc.c
100644 blob b1c2540df98d91e6a05a19f71a0b8527dc0b1455	misc.h
100644 blob eccbb608131d4c3ea040a85e14f7248b44a0388b	options.c
100644 blob ea696e2316965fe7947cd9ac9df32dfd0fecbf10	options.h
100644 blob 5f00e80b67333c50d5c5eaef5b9654b0976b35d9	order.c
100644 blob 13352c42f0a23ff59ea75e2a4c0faf7b389a41d4	order.h
100644 blob bde18a90c8ad3a9c139e1e9318deb735885d2375	partition.c
100644 blob 5e45d5a416a7495f34ba54dd7899ff76b323b75f	partition.h
100644 blob 4527e6aaa0f95e6f009dc52c51e4a1a8f1190889	problem.dfg
100644 blob 4dcba4fea16e9ab884a717a61173fe926d04fbf2	proofcheck.c
100644 blob 4a56a7eebc8038f25452c11862e3db4137930347	proofcheck.h
100644 blob f2ce0e7aa525bddba66ea6b3cc995a1ff94fbbcb	ras.h
100644 blob 99053c2cd59816f0c1d75dac4e65e27f90a36666	renaming.c
100644 blob 4778d56f1bc8d43e9f3093f85aa3d653319c0409	renaming.h
100644 blob 2bd322239eff2b52598f923e53fd98bda7c35b9f	resolution.c
100644 blob ed097740d6c3edcdcc6125cb41b0605e94084fdc	resolution.h
100644 blob 7feeca8fa8c8645542adaa8e767d2a3b624bd30a	rpos.c
100644 blob ad6a747ac73f44773acf5281ac7c069727d4f846	rpos.h
100644 blob da6d959ed613115899430c4fe5095381277df482	rules-inf.c
100644 blob d679c5766679e23f0e1ee577ae46f54756b0a545	rules-inf.h
100644 blob c4bee6be2854e9f56684f47df017eba049f2a3e6	rules-red.c
100644 blob 39f62f68ab38e178fd24c515515d5fb5b0f2f00d	rules-red.h
100644 blob 6ea442bfedb3981c52a8a96a861942b81b19aa53	rules-sort.c
100644 blob 4efef92b722dd7c357c63caf1f5dad839bb36664	rules-sort.h
100644 blob 9ebf06f28f3f83276c313bd3c0487178af7a5474	rules-split.c
100644 blob a6b3b809ff10c9624061a0922bbbc7be7d3ad8c5	rules-split.h
100644 blob 4f28ef2942c022dfc0eb96c8c8e3f447232d3330	rules-ur.c
100644 blob 1596ad7674ace97242d03e9e000aafaa3db28b34	rules-ur.h
100644 blob a1b8aac4065ea7c4766d6904b1f68d29584cfd20	search.c
100644 blob 7415eb16b0f7aa2ca6c7a0884197e09950acb289	search.h
100644 blob 6e43f7a49a9c7c27080085b8a5320d1be155bdb3	sharing.c
100644 blob ff803d93347858cfd5e3f6c8a75c5e1a4506f5fb	sharing.h
100644 blob f0b1a6d1b1445e428f61f4c967ca992470793085	small_problem.dfg
100644 blob 697b8058328ee7c25aea4f5bab8f17f912d684fc	sort.c
100644 blob 03954d7eee2e71c3458ecfef7a818dfb8dc2454c	sort.h
100644 blob 5bae7932ec6753bf924a68cbe65558c4f942653b	st.c
100644 blob 31fc4a072b7b76df881ea1c784f922c06fff6492	st.h
100644 blob 08830b9db233c251e0da9630025fd995c3c80c47	stack.c
100644 blob e711218a280021b34117b13500e43719b7443b32	stack.h
100644 blob 34b15f27408e346d7fbf3839d7f71488b8305b7c	strings.c
100644 blob b12b23d5f28a6daf4e75d80c91024eb2bd272d55	stringsx.h
100644 blob fc8409e5d7ed3fe99ac7cea3e7d12f1f6714e0c3	subst.c
100644 blob d61dab53f5518474bb3f49a960e5c03ea3b1cf25	subst.h
100644 blob 31854761a77d93ab5c66e93912a3c9e11ca6a523	subsumption.c
100644 blob b0a283b066038796010b5e3ed83a4f2141c47dff	subsumption.h
100644 blob 0e94e0066d594f5ec3d7c0aeb9ff5fe825e69c72	symbol.c
100644 blob ca910db092d07bb0f5fd309b10c7b54e3881e084	symbol.h
100644 blob 5c2b957cf71f2de6fe0fccc3ed17645537828deb	table.c
100644 blob 92f7b32d4526912208b7a6712b5d9c1a97cfa0df	table.h
100644 blob 59e037c5f78713e196ebf518bae4ddbbc53732ec	tableau.c
100644 blob 2207eb9963fae96be72ee0445f8a20728055d76e	tableau.h
100644 blob 7b70a4b5fda6272198fd5501be33b65df06a999d	term.c
100644 blob 1965d549ac70758cada26145548841334fe4002f	term.h
100644 blob dc58e3a24afa73acf09dc411b1d79698fab6277f	terminator.c
100644 blob 4c935b36300b9d7019c75c82db475e22ec259e4f	terminator.h
100644 blob 3859534fbf5f6e0cde7261672c5220f0a00e20c8	top.c
100644 blob 58dcb32d5829f015d7a4c69833d2e23ea1987ba2	unify.c
100644 blob 19f5d9e7808dc4030adb288c094e6e32d5cbb9db	unify.h
100644 blob 60862a7d3d900c3433d62538d4c12ee7044f7c76	vector.c
100644 blob 4c17a0cf19799c80a85eeedb36e99af74cc4ebf6	vector.h