libnormalform - Work in progress

Mode	Name	Size
-rw-r--r--	.gitignore	88	log stats plain blame
-rw-r--r--	LICENSE	763	log stats plain blame
-rw-r--r--	Makefile	8769	log stats plain blame
-rw-r--r--	README	1699	log stats plain blame
-rw-r--r--	common.h	29723	log stats plain blame
-rw-r--r--	config.mk	471	log stats plain blame
-rw-r--r--	libnormalform.7	4814	log stats plain blame
-rw-r--r--	libnormalform.h	174626	log stats plain blame
-rw-r--r--	libnormalform_all.c	12380	log stats plain blame
-rw-r--r--	libnormalform_and.c	15996	log stats plain blame
-rw-r--r--	libnormalform_and2.c	1742	log stats plain blame
-rw-r--r--	libnormalform_and2__.c	2565	log stats plain blame
-rw-r--r--	libnormalform_and_checked.c	263	log stats plain blame
-rw-r--r--	libnormalform_andl.c	252	log stats plain blame
-rw-r--r--	libnormalform_andl_checked.c	276	log stats plain blame
-rw-r--r--	libnormalform_andl_macro_test.c	134	log stats plain blame
-rw-r--r--	libnormalform_any.c	12256	log stats plain blame
-rw-r--r--	libnormalform_apply_transformation__.c	2995	log stats plain blame
-rw-r--r--	libnormalform_cdnf.c	16450	log stats plain blame
-rw-r--r--	libnormalform_clause_cmp__.c	418	log stats plain blame
-rw-r--r--	libnormalform_clause_sort_cmp__.c	732	log stats plain blame
-rw-r--r--	libnormalform_clone.c	14474	log stats plain blame
-rw-r--r--	libnormalform_cnf.c	361	log stats plain blame
-rw-r--r--	libnormalform_contains_clause__.c	572	log stats plain blame
-rw-r--r--	libnormalform_dnf.c	361	log stats plain blame
-rw-r--r--	libnormalform_empty.c	1335	log stats plain blame
-rw-r--r--	libnormalform_evaluate.c	640	log stats plain blame
-rw-r--r--	libnormalform_existentially.c	6096	log stats plain blame
-rw-r--r--	libnormalform_exists.c	6217	log stats plain blame
-rw-r--r--	libnormalform_express.c	339	log stats plain blame
-rw-r--r--	libnormalform_express__.c	14454	log stats plain blame
-rw-r--r--	libnormalform_expression_to_term__.c	2470	log stats plain blame
-rw-r--r--	libnormalform_false.c	3264	log stats plain blame
-rw-r--r--	libnormalform_fix_presentation__.c	9159	log stats plain blame
-rw-r--r--	libnormalform_free.c	2367	log stats plain blame
-rw-r--r--	libnormalform_free_expression__.c	427	log stats plain blame
-rw-r--r--	libnormalform_from_string.c	25775	log stats plain blame
-rw-r--r--	libnormalform_function.c	7376	log stats plain blame
-rw-r--r--	libnormalform_get_relationship__.c	520	log stats plain blame
-rw-r--r--	libnormalform_if.c	5368	log stats plain blame
-rw-r--r--	libnormalform_if2.c	267	log stats plain blame
-rw-r--r--	libnormalform_if_checked.c	261	log stats plain blame
-rw-r--r--	libnormalform_ifl.c	250	log stats plain blame
-rw-r--r--	libnormalform_ifl_checked.c	274	log stats plain blame
-rw-r--r--	libnormalform_ifl_macro_test.c	133	log stats plain blame
-rw-r--r--	libnormalform_imply.c	3758	log stats plain blame
-rw-r--r--	libnormalform_imply2.c	273	log stats plain blame
-rw-r--r--	libnormalform_imply_checked.c	267	log stats plain blame
-rw-r--r--	libnormalform_implyl.c	256	log stats plain blame
-rw-r--r--	libnormalform_implyl_checked.c	280	log stats plain blame
-rw-r--r--	libnormalform_implyl_macro_test.c	136	log stats plain blame
-rw-r--r--	libnormalform_literal_cmp__.c	2578	log stats plain blame
-rw-r--r--	libnormalform_literal_sort_cmp__.c	738	log stats plain blame
-rw-r--r--	libnormalform_make_binary__.c	693	log stats plain blame
-rw-r--r--	libnormalform_nand.c	5272	log stats plain blame
-rw-r--r--	libnormalform_nand2.c	271	log stats plain blame
-rw-r--r--	libnormalform_nand_checked.c	265	log stats plain blame
-rw-r--r--	libnormalform_nandl.c	254	log stats plain blame
-rw-r--r--	libnormalform_nandl_checked.c	278	log stats plain blame
-rw-r--r--	libnormalform_nandl_macro_test.c	135	log stats plain blame
-rw-r--r--	libnormalform_nexists.c	6220	log stats plain blame
-rw-r--r--	libnormalform_nif.c	5112	log stats plain blame
-rw-r--r--	libnormalform_nif2.c	269	log stats plain blame
-rw-r--r--	libnormalform_nif_checked.c	263	log stats plain blame
-rw-r--r--	libnormalform_nifl.c	252	log stats plain blame
-rw-r--r--	libnormalform_nifl_checked.c	276	log stats plain blame
-rw-r--r--	libnormalform_nifl_macro_test.c	134	log stats plain blame
-rw-r--r--	libnormalform_nimply.c	3884	log stats plain blame
-rw-r--r--	libnormalform_nimply2.c	275	log stats plain blame
-rw-r--r--	libnormalform_nimply_checked.c	269	log stats plain blame
-rw-r--r--	libnormalform_nimplyl.c	258	log stats plain blame
-rw-r--r--	libnormalform_nimplyl_checked.c	282	log stats plain blame
-rw-r--r--	libnormalform_nimplyl_macro_test.c	137	log stats plain blame
-rw-r--r--	libnormalform_nonempty.c	1347	log stats plain blame
-rw-r--r--	libnormalform_nor.c	5237	log stats plain blame
-rw-r--r--	libnormalform_nor2.c	269	log stats plain blame
-rw-r--r--	libnormalform_nor_checked.c	263	log stats plain blame
-rw-r--r--	libnormalform_norl.c	252	log stats plain blame
-rw-r--r--	libnormalform_norl_checked.c	276	log stats plain blame
-rw-r--r--	libnormalform_norl_macro_test.c	134	log stats plain blame
-rw-r--r--	libnormalform_not.c	2318	log stats plain blame
-rw-r--r--	libnormalform_one.c	12012	log stats plain blame
-rw-r--r--	libnormalform_or.c	15501	log stats plain blame
-rw-r--r--	libnormalform_or2.c	1712	log stats plain blame
-rw-r--r--	libnormalform_or2__.c	2551	log stats plain blame
-rw-r--r--	libnormalform_or_checked.c	261	log stats plain blame
-rw-r--r--	libnormalform_orl.c	250	log stats plain blame
-rw-r--r--	libnormalform_orl_checked.c	274	log stats plain blame
-rw-r--r--	libnormalform_orl_macro_test.c	133	log stats plain blame
-rw-r--r--	libnormalform_ref.c	917	log stats plain blame
-rw-r--r--	libnormalform_reset_indices_and_counts__.c	823	log stats plain blame
-rw-r--r--	libnormalform_set_indices_and_counts__.c	998	log stats plain blame
-rw-r--r--	libnormalform_singleton.c	1409	log stats plain blame
-rw-r--r--	libnormalform_to_string.c	13033	log stats plain blame
-rw-r--r--	libnormalform_transformation.c	11521	log stats plain blame
-rw-r--r--	libnormalform_true.c	3253	log stats plain blame
-rw-r--r--	libnormalform_unique.c	5964	log stats plain blame
-rw-r--r--	libnormalform_uniquely.c	5638	log stats plain blame
-rw-r--r--	libnormalform_universally.c	6049	log stats plain blame
-rw-r--r--	libnormalform_vand.c	255	log stats plain blame
-rw-r--r--	libnormalform_vand_checked.c	279	log stats plain blame
-rw-r--r--	libnormalform_variable.c	3787	log stats plain blame
-rw-r--r--	libnormalform_vif.c	253	log stats plain blame
-rw-r--r--	libnormalform_vif_checked.c	277	log stats plain blame
-rw-r--r--	libnormalform_vimply.c	259	log stats plain blame
-rw-r--r--	libnormalform_vimply_checked.c	283	log stats plain blame
-rw-r--r--	libnormalform_vnand.c	257	log stats plain blame
-rw-r--r--	libnormalform_vnand_checked.c	281	log stats plain blame
-rw-r--r--	libnormalform_vnif.c	255	log stats plain blame
-rw-r--r--	libnormalform_vnif_checked.c	279	log stats plain blame
-rw-r--r--	libnormalform_vnimply.c	261	log stats plain blame
-rw-r--r--	libnormalform_vnimply_checked.c	285	log stats plain blame
-rw-r--r--	libnormalform_vnor.c	255	log stats plain blame
-rw-r--r--	libnormalform_vnor_checked.c	279	log stats plain blame
-rw-r--r--	libnormalform_vor.c	253	log stats plain blame
-rw-r--r--	libnormalform_vor_checked.c	277	log stats plain blame
-rw-r--r--	libnormalform_vxnor.c	257	log stats plain blame
-rw-r--r--	libnormalform_vxnor_checked.c	281	log stats plain blame
-rw-r--r--	libnormalform_vxor.c	255	log stats plain blame
-rw-r--r--	libnormalform_vxor_checked.c	279	log stats plain blame
-rw-r--r--	libnormalform_xnor.c	12011	log stats plain blame
-rw-r--r--	libnormalform_xnor2.c	271	log stats plain blame
-rw-r--r--	libnormalform_xnor_checked.c	265	log stats plain blame
-rw-r--r--	libnormalform_xnorl.c	254	log stats plain blame
-rw-r--r--	libnormalform_xnorl_checked.c	278	log stats plain blame
-rw-r--r--	libnormalform_xnorl_macro_test.c	135	log stats plain blame
-rw-r--r--	libnormalform_xor.c	20185	log stats plain blame
-rw-r--r--	libnormalform_xor2.c	5705	log stats plain blame
-rw-r--r--	libnormalform_xor2__.c	3796	log stats plain blame
-rw-r--r--	libnormalform_xor_checked.c	263	log stats plain blame
-rw-r--r--	libnormalform_xorl.c	252	log stats plain blame
-rw-r--r--	libnormalform_xorl_checked.c	276	log stats plain blame
-rw-r--r--	libnormalform_xorl_macro_test.c	134	log stats plain blame
d---------	man3	7220	log stats plain
-rw-r--r--	memcheck.c	14096	log stats plain blame
-rw-r--r--	memcheck.h	385	log stats plain blame
d---------	mk	110	log stats plain