gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1440	log stats plain
-rw-r--r--	gia.h	60727	log stats plain
-rw-r--r--	giaAbs.c	16355	log stats plain
-rw-r--r--	giaAbs.h	3240	log stats plain
-rw-r--r--	giaAig.c	19837	log stats plain
-rw-r--r--	giaAig.h	3144	log stats plain
-rw-r--r--	giaAiger.c	46947	log stats plain
-rw-r--r--	giaBidec.c	11914	log stats plain
-rw-r--r--	giaCSat.c	35433	log stats plain
-rw-r--r--	giaCSatOld.c	24783	log stats plain
-rw-r--r--	giaCTas.c	58987	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCof.c	31982	log stats plain
-rw-r--r--	giaConstr.c	1495	log stats plain
-rw-r--r--	giaDfs.c	11100	log stats plain
-rw-r--r--	giaDup.c	55564	log stats plain
-rw-r--r--	giaEmbed.c	62289	log stats plain
-rw-r--r--	giaEnable.c	21177	log stats plain
-rw-r--r--	giaEquiv.c	67442	log stats plain
-rw-r--r--	giaEra.c	18110	log stats plain
-rw-r--r--	giaEra2.c	63525	log stats plain
-rw-r--r--	giaFanout.c	6944	log stats plain
-rw-r--r--	giaForce.c	36443	log stats plain
-rw-r--r--	giaFrames.c	11399	log stats plain
-rw-r--r--	giaFront.c	8168	log stats plain
-rw-r--r--	giaGiarf.c	34595	log stats plain
-rw-r--r--	giaGlitch.c	25874	log stats plain
-rw-r--r--	giaHash.c	20711	log stats plain
-rw-r--r--	giaHcd.c	21659	log stats plain
-rw-r--r--	giaIf.c	16903	log stats plain
-rw-r--r--	giaMan.c	12537	log stats plain
-rw-r--r--	giaMem.c	17221	log stats plain
-rw-r--r--	giaPat.c	4610	log stats plain
-rw-r--r--	giaProp.c	5130	log stats plain
-rw-r--r--	giaReparam.c	6044	log stats plain
-rw-r--r--	giaRetime.c	10205	log stats plain
-rw-r--r--	giaSat.c	12065	log stats plain
-rw-r--r--	giaScl.c	8264	log stats plain
-rw-r--r--	giaShrink.c	5276	log stats plain
-rw-r--r--	giaSim.c	19629	log stats plain
-rw-r--r--	giaSim2.c	19694	log stats plain
-rw-r--r--	giaSort.c	7530	log stats plain
-rw-r--r--	giaSpeedup.c	27961	log stats plain
-rw-r--r--	giaSupMin.c	4865	log stats plain
-rw-r--r--	giaSwitch.c	25245	log stats plain
-rw-r--r--	giaTsim.c	23979	log stats plain
-rw-r--r--	giaUtil.c	35198	log stats plain
-rw-r--r--	module.make	1082	log stats plain