libnormalform - Work in progress

Mode	Name	Size
-rw-r--r--	.gitignore	88	log stats plain blame
-rw-r--r--	LICENSE	753	log stats plain blame
-rw-r--r--	Makefile	7707	log stats plain blame
-rw-r--r--	README	1702	log stats plain blame
-rw-r--r--	common.h	18159	log stats plain blame
-rw-r--r--	config.mk	471	log stats plain blame
-rw-r--r--	libnormalform.7	4817	log stats plain blame
-rw-r--r--	libnormalform.h	151388	log stats plain blame
-rw-r--r--	libnormalform_all.c	12344	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	12220	log stats plain blame
-rw-r--r--	libnormalform_clone.c	14478	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	23887	log stats plain blame
-rw-r--r--	libnormalform_false.c	3264	log stats plain blame
-rw-r--r--	libnormalform_free.c	2369	log stats plain blame
-rw-r--r--	libnormalform_from_string.c	25769	log stats plain blame
-rw-r--r--	libnormalform_function.c	7376	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_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	11988	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	13029	log stats plain blame
-rw-r--r--	libnormalform_transformation.c	11505	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	1166	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	6285	log stats plain
-rw-r--r--	memcheck.c	13542	log stats plain blame
-rw-r--r--	memcheck.h	385	log stats plain blame
d---------	mk	110	log stats plain