gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1440	log stats plain
-rw-r--r--	gia.h	61479	log stats plain
-rw-r--r--	giaAbs.c	17215	log stats plain
-rw-r--r--	giaAbs.h	3260	log stats plain
-rw-r--r--	giaAbsVta.c	56631	log stats plain
-rw-r--r--	giaAig.c	19899	log stats plain
-rw-r--r--	giaAig.h	3176	log stats plain
-rw-r--r--	giaAiger.c	56022	log stats plain
-rw-r--r--	giaBidec.c	11930	log stats plain
-rw-r--r--	giaCCof.c	11033	log stats plain
-rw-r--r--	giaCSat.c	35445	log stats plain
-rw-r--r--	giaCSatOld.c	24792	log stats plain
-rw-r--r--	giaCTas.c	59009	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCof.c	31997	log stats plain
-rw-r--r--	giaConstr.c	1495	log stats plain
-rw-r--r--	giaDfs.c	12165	log stats plain
-rw-r--r--	giaDup.c	58919	log stats plain
-rw-r--r--	giaEmbed.c	62346	log stats plain
-rw-r--r--	giaEnable.c	21177	log stats plain
-rw-r--r--	giaEquiv.c	67505	log stats plain
-rw-r--r--	giaEra.c	18123	log stats plain
-rw-r--r--	giaEra2.c	63553	log stats plain
-rw-r--r--	giaFanout.c	6947	log stats plain
-rw-r--r--	giaForce.c	36491	log stats plain
-rw-r--r--	giaFrames.c	30222	log stats plain
-rw-r--r--	giaFront.c	8171	log stats plain
-rw-r--r--	giaGiarf.c	34609	log stats plain
-rw-r--r--	giaGlitch.c	25877	log stats plain
-rw-r--r--	giaHash.c	21015	log stats plain
-rw-r--r--	giaHcd.c	21683	log stats plain
-rw-r--r--	giaIf.c	16953	log stats plain
-rw-r--r--	giaIso.c	36936	log stats plain
-rw-r--r--	giaMan.c	15908	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	6072	log stats plain
-rw-r--r--	giaRetime.c	10205	log stats plain
-rw-r--r--	giaSat.c	12068	log stats plain
-rw-r--r--	giaScl.c	8264	log stats plain
-rw-r--r--	giaShrink.c	5302	log stats plain
-rw-r--r--	giaSim.c	19631	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	27862	log stats plain
-rw-r--r--	giaSupMin.c	4878	log stats plain
-rw-r--r--	giaSwitch.c	25203	log stats plain
-rw-r--r--	giaTsim.c	23892	log stats plain
-rw-r--r--	giaUtil.c	34515	log stats plain
-rw-r--r--	module.make	1167	log stats plain