gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	1440	log stats plain
-rw-r--r--	gia.h	108633	log stats plain
-rw-r--r--	giaAgi.c	10041	log stats plain
-rw-r--r--	giaAig.c	22211	log stats plain
-rw-r--r--	giaAig.h	3329	log stats plain
-rw-r--r--	giaAiger.c	52688	log stats plain
-rw-r--r--	giaAigerExt.c	10522	log stats plain
-rw-r--r--	giaBalAig.c	39293	log stats plain
-rw-r--r--	giaBalLut.c	33435	log stats plain
-rw-r--r--	giaBalMap.c	10354	log stats plain
-rw-r--r--	giaBidec.c	11538	log stats plain
-rw-r--r--	giaCCof.c	11087	log stats plain
-rw-r--r--	giaCSat.c	35489	log stats plain
-rw-r--r--	giaCSatOld.c	24836	log stats plain
-rw-r--r--	giaCTas.c	59089	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCex.c	14249	log stats plain
-rw-r--r--	giaClp.c	13425	log stats plain
-rw-r--r--	giaCof.c	34658	log stats plain
-rw-r--r--	giaCone.c	17609	log stats plain
-rw-r--r--	giaConstr.c	1495	log stats plain
-rw-r--r--	giaDfs.c	14438	log stats plain
-rw-r--r--	giaDup.c	121777	log stats plain
-rw-r--r--	giaEmbed.c	62496	log stats plain
-rw-r--r--	giaEnable.c	21294	log stats plain
-rw-r--r--	giaEquiv.c	71591	log stats plain
-rw-r--r--	giaEra.c	19747	log stats plain
-rw-r--r--	giaEra2.c	63713	log stats plain
-rw-r--r--	giaFadds.c	41141	log stats plain
-rw-r--r--	giaFalse.c	20473	log stats plain
-rw-r--r--	giaFanout.c	10781	log stats plain
-rw-r--r--	giaForce.c	36573	log stats plain
-rw-r--r--	giaFrames.c	33210	log stats plain
-rw-r--r--	giaFront.c	9247	log stats plain
-rw-r--r--	giaFx.c	17871	log stats plain
-rw-r--r--	giaGiarf.c	34667	log stats plain
-rw-r--r--	giaGig.c	9151	log stats plain
-rw-r--r--	giaGlitch.c	25898	log stats plain
-rw-r--r--	giaHash.c	26644	log stats plain
-rw-r--r--	giaHcd.c	21794	log stats plain
-rw-r--r--	giaIf.c	87635	log stats plain
-rw-r--r--	giaIff.c	15444	log stats plain
-rw-r--r--	giaIso.c	44876	log stats plain
-rw-r--r--	giaIso2.c	27951	log stats plain
-rw-r--r--	giaIso3.c	4777	log stats plain
-rw-r--r--	giaJf.c	65110	log stats plain
-rw-r--r--	giaKf.c	46104	log stats plain
-rw-r--r--	giaLf.c	89472	log stats plain
-rw-r--r--	giaMan.c	24035	log stats plain
-rw-r--r--	giaMem.c	17221	log stats plain
-rw-r--r--	giaMf.c	62727	log stats plain
-rw-r--r--	giaMffc.c	9887	log stats plain
-rw-r--r--	giaMfs.c	17949	log stats plain
-rw-r--r--	giaMini.c	5940	log stats plain
-rw-r--r--	giaMuxes.c	28753	log stats plain
-rw-r--r--	giaNf.c	93222	log stats plain
-rw-r--r--	giaOf.c	68957	log stats plain
-rw-r--r--	giaPack.c	7067	log stats plain
-rw-r--r--	giaPat.c	4610	log stats plain
-rw-r--r--	giaPf.c	50849	log stats plain
-rw-r--r--	giaPolyn.c	6879	log stats plain
-rw-r--r--	giaProp.c	5130	log stats plain
-rw-r--r--	giaQbf.c	24034	log stats plain
-rw-r--r--	giaResub.c	10231	log stats plain
-rw-r--r--	giaRetime.c	10279	log stats plain
-rw-r--r--	giaRex.c	18930	log stats plain
-rw-r--r--	giaSat.c	12090	log stats plain
-rw-r--r--	giaSatLut.c	23659	log stats plain
-rw-r--r--	giaSatMap.c	19601	log stats plain
-rw-r--r--	giaScl.c	8966	log stats plain
-rw-r--r--	giaScript.c	25926	log stats plain
-rw-r--r--	giaShow.c	13191	log stats plain
-rw-r--r--	giaShrink.c	5430	log stats plain
-rw-r--r--	giaShrink6.c	17206	log stats plain
-rw-r--r--	giaShrink7.c	12750	log stats plain
-rw-r--r--	giaSim.c	22458	log stats plain
-rw-r--r--	giaSim2.c	19730	log stats plain
-rw-r--r--	giaSort.c	7562	log stats plain
-rw-r--r--	giaSpeedup.c	27893	log stats plain
-rw-r--r--	giaSplit.c	17822	log stats plain
-rw-r--r--	giaStg.c	16201	log stats plain
-rw-r--r--	giaStr.c	67637	log stats plain
-rw-r--r--	giaSupMin.c	4874	log stats plain
-rw-r--r--	giaSweep.c	27250	log stats plain
-rw-r--r--	giaSweeper.c	40820	log stats plain
-rw-r--r--	giaSwitch.c	25935	log stats plain
-rw-r--r--	giaTim.c	35216	log stats plain
-rw-r--r--	giaTis.c	6672	log stats plain
-rw-r--r--	giaTruth.c	20684	log stats plain
-rw-r--r--	giaTsim.c	23920	log stats plain
-rw-r--r--	giaUtil.c	59881	log stats plain
-rw-r--r--	module.make	2263	log stats plain