gia « aig « src - iCE40/abc

Mode	Name	Size
-rw-r--r--	gia.c	13667	log stats plain
-rw-r--r--	gia.h	127555	log stats plain
-rw-r--r--	giaAgi.c	10041	log stats plain
-rw-r--r--	giaAig.c	24389	log stats plain
-rw-r--r--	giaAig.h	3329	log stats plain
-rw-r--r--	giaAiger.c	65122	log stats plain
-rw-r--r--	giaAigerExt.c	10538	log stats plain
-rw-r--r--	giaBalAig.c	40776	log stats plain
-rw-r--r--	giaBalLut.c	33440	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	37026	log stats plain
-rw-r--r--	giaCSat2.c	61273	log stats plain
-rw-r--r--	giaCSat3.c	48992	log stats plain
-rw-r--r--	giaCSatOld.c	24843	log stats plain
-rw-r--r--	giaCSatP.c	40150	log stats plain
-rw-r--r--	giaCSatP.h	4010	log stats plain
-rw-r--r--	giaCTas.c	59096	log stats plain
-rw-r--r--	giaCTas2.c	8545	log stats plain
-rw-r--r--	giaCex.c	22078	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--	giaCut.c	35357	log stats plain
-rw-r--r--	giaDecs.c	13468	log stats plain
-rw-r--r--	giaDeep.c	6058	log stats plain
-rw-r--r--	giaDfs.c	17666	log stats plain
-rw-r--r--	giaDup.c	187416	log stats plain
-rw-r--r--	giaEdge.c	34728	log stats plain
-rw-r--r--	giaEmbed.c	62496	log stats plain
-rw-r--r--	giaEnable.c	21301	log stats plain
-rw-r--r--	giaEquiv.c	94296	log stats plain
-rw-r--r--	giaEra.c	19747	log stats plain
-rw-r--r--	giaEra2.c	63713	log stats plain
-rw-r--r--	giaEsop.c	17134	log stats plain
-rw-r--r--	giaExist.c	20352	log stats plain
-rw-r--r--	giaFalse.c	20476	log stats plain
-rw-r--r--	giaFanout.c	13438	log stats plain
-rw-r--r--	giaForce.c	36573	log stats plain
-rw-r--r--	giaFrames.c	33214	log stats plain
-rw-r--r--	giaFront.c	9247	log stats plain
-rw-r--r--	giaFx.c	17965	log stats plain
-rw-r--r--	giaGen.c	33685	log stats plain
-rw-r--r--	giaGiarf.c	34667	log stats plain
-rw-r--r--	giaGig.c	17027	log stats plain
-rw-r--r--	giaGlitch.c	25921	log stats plain
-rw-r--r--	giaHash.c	38708	log stats plain
-rw-r--r--	giaHcd.c	21797	log stats plain
-rw-r--r--	giaIf.c	100220	log stats plain
-rw-r--r--	giaIff.c	15444	log stats plain
-rw-r--r--	giaIiff.c	1880	log stats plain
-rw-r--r--	giaIiff.h	1957	log stats plain
-rw-r--r--	giaIso.c	44954	log stats plain
-rw-r--r--	giaIso2.c	27982	log stats plain
-rw-r--r--	giaIso3.c	7840	log stats plain
-rw-r--r--	giaJf.c	65295	log stats plain
-rw-r--r--	giaKf.c	46146	log stats plain
-rw-r--r--	giaLf.c	92637	log stats plain
-rw-r--r--	giaMan.c	48021	log stats plain
-rw-r--r--	giaMem.c	17221	log stats plain
-rw-r--r--	giaMf.c	72995	log stats plain
-rw-r--r--	giaMffc.c	9887	log stats plain
-rw-r--r--	giaMfs.c	21928	log stats plain
-rw-r--r--	giaMinLut.c	40150	log stats plain
-rw-r--r--	giaMinLut2.c	48844	log stats plain
-rw-r--r--	giaMini.c	42697	log stats plain
-rw-r--r--	giaMuxes.c	41496	log stats plain
-rw-r--r--	giaNf.c	93639	log stats plain
-rw-r--r--	giaOf.c	69029	log stats plain
-rw-r--r--	giaPack.c	7067	log stats plain
-rw-r--r--	giaPat.c	4610	log stats plain
-rw-r--r--	giaPat2.c	52988	log stats plain
-rw-r--r--	giaPf.c	50856	log stats plain
-rw-r--r--	giaProp.c	5130	log stats plain
-rw-r--r--	giaQbf.c	33910	log stats plain
-rw-r--r--	giaReshape1.c	1561	log stats plain
-rw-r--r--	giaReshape2.c	1560	log stats plain
-rw-r--r--	giaResub.c	78904	log stats plain
-rw-r--r--	giaResub2.c	57032	log stats plain
-rw-r--r--	giaResub3.c	1605	log stats plain
-rw-r--r--	giaResub6.c	14850	log stats plain
-rw-r--r--	giaRetime.c	10279	log stats plain
-rw-r--r--	giaRex.c	18936	log stats plain
-rw-r--r--	giaSat.c	12090	log stats plain
-rw-r--r--	giaSat3.c	3686	log stats plain
-rw-r--r--	giaSatEdge.c	19053	log stats plain
-rw-r--r--	giaSatLE.c	40034	log stats plain
-rw-r--r--	giaSatLut.c	46006	log stats plain
-rw-r--r--	giaSatMap.c	19870	log stats plain
-rw-r--r--	giaSatSyn.c	1707	log stats plain
-rw-r--r--	giaSatoko.c	8296	log stats plain
-rw-r--r--	giaScl.c	8966	log stats plain
-rw-r--r--	giaScript.c	29430	log stats plain
-rw-r--r--	giaShow.c	43302	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--	giaSif.c	8907	log stats plain
-rw-r--r--	giaSim.c	44398	log stats plain
-rw-r--r--	giaSim2.c	19730	log stats plain
-rw-r--r--	giaSimBase.c	118884	log stats plain
-rw-r--r--	giaSort.c	7570	log stats plain
-rw-r--r--	giaSpeedup.c	27925	log stats plain
-rw-r--r--	giaSplit.c	18714	log stats plain
-rw-r--r--	giaStg.c	16209	log stats plain
-rw-r--r--	giaStoch.c	16815	log stats plain
-rw-r--r--	giaStr.c	67988	log stats plain
-rw-r--r--	giaSupMin.c	4874	log stats plain
-rw-r--r--	giaSupp.c	30833	log stats plain
-rw-r--r--	giaSupps.c	35621	log stats plain
-rw-r--r--	giaSweep.c	28141	log stats plain
-rw-r--r--	giaSweeper.c	40840	log stats plain
-rw-r--r--	giaSwitch.c	26114	log stats plain
-rw-r--r--	giaTim.c	38217	log stats plain
-rw-r--r--	giaTis.c	6672	log stats plain
-rw-r--r--	giaTruth.c	28870	log stats plain
-rw-r--r--	giaTsim.c	23920	log stats plain
-rw-r--r--	giaTtopt.cpp	34620	log stats plain
-rw-r--r--	giaUnate.c	9009	log stats plain
-rw-r--r--	giaUtil.c	98806	log stats plain
-rw-r--r--	module.make	3139	log stats plain