summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c13667logstatsplain
-rw-r--r--gia.h126936logstatsplain
-rw-r--r--giaAgi.c10041logstatsplain
-rw-r--r--giaAig.c24389logstatsplain
-rw-r--r--giaAig.h3329logstatsplain
-rw-r--r--giaAiger.c65122logstatsplain
-rw-r--r--giaAigerExt.c10538logstatsplain
-rw-r--r--giaBalAig.c40776logstatsplain
-rw-r--r--giaBalLut.c33440logstatsplain
-rw-r--r--giaBalMap.c10354logstatsplain
-rw-r--r--giaBidec.c11538logstatsplain
-rw-r--r--giaCCof.c11087logstatsplain
-rw-r--r--giaCSat.c37026logstatsplain
-rw-r--r--giaCSat2.c61273logstatsplain
-rw-r--r--giaCSat3.c48992logstatsplain
-rw-r--r--giaCSatOld.c24843logstatsplain
-rw-r--r--giaCSatP.c40150logstatsplain
-rw-r--r--giaCSatP.h4010logstatsplain
-rw-r--r--giaCTas.c59096logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCex.c22078logstatsplain
-rw-r--r--giaClp.c13425logstatsplain
-rw-r--r--giaCof.c34658logstatsplain
-rw-r--r--giaCone.c17609logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaCut.c27791logstatsplain
-rw-r--r--giaDecs.c13468logstatsplain
-rw-r--r--giaDeep.c6058logstatsplain
-rw-r--r--giaDfs.c17666logstatsplain
-rw-r--r--giaDup.c186607logstatsplain
-rw-r--r--giaEdge.c34728logstatsplain
-rw-r--r--giaEmbed.c62496logstatsplain
-rw-r--r--giaEnable.c21301logstatsplain
-rw-r--r--giaEquiv.c94296logstatsplain
-rw-r--r--giaEra.c19747logstatsplain
-rw-r--r--giaEra2.c63713logstatsplain
-rw-r--r--giaEsop.c17134logstatsplain
-rw-r--r--giaExist.c20352logstatsplain
-rw-r--r--giaFalse.c20476logstatsplain
-rw-r--r--giaFanout.c13438logstatsplain
-rw-r--r--giaForce.c36573logstatsplain
-rw-r--r--giaFrames.c33214logstatsplain
-rw-r--r--giaFront.c9247logstatsplain
-rw-r--r--giaFx.c17965logstatsplain
-rw-r--r--giaGen.c33685logstatsplain
-rw-r--r--giaGiarf.c34667logstatsplain
-rw-r--r--giaGig.c17027logstatsplain
-rw-r--r--giaGlitch.c25921logstatsplain
-rw-r--r--giaHash.c38708logstatsplain
-rw-r--r--giaHcd.c21797logstatsplain
-rw-r--r--giaIf.c100220logstatsplain
-rw-r--r--giaIff.c15444logstatsplain
-rw-r--r--giaIiff.c1880logstatsplain
-rw-r--r--giaIiff.h1957logstatsplain
-rw-r--r--giaIso.c44954logstatsplain
-rw-r--r--giaIso2.c27982logstatsplain
-rw-r--r--giaIso3.c7840logstatsplain
-rw-r--r--giaJf.c65295logstatsplain
-rw-r--r--giaKf.c46146logstatsplain
-rw-r--r--giaLf.c92637logstatsplain
-rw-r--r--giaMan.c48021logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaMf.c72995logstatsplain
-rw-r--r--giaMffc.c9887logstatsplain
-rw-r--r--giaMfs.c21928logstatsplain
-rw-r--r--giaMinLut.c40150logstatsplain
-rw-r--r--giaMinLut2.c48844logstatsplain
-rw-r--r--giaMini.c40920logstatsplain
-rw-r--r--giaMuxes.c38969logstatsplain
-rw-r--r--giaNf.c93639logstatsplain
-rw-r--r--giaOf.c69029logstatsplain
-rw-r--r--giaPack.c7067logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaPat2.c52988logstatsplain
-rw-r--r--giaPf.c50856logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaQbf.c33910logstatsplain
-rw-r--r--giaReshape1.c1561logstatsplain
-rw-r--r--giaReshape2.c1560logstatsplain
-rw-r--r--giaResub.c78904logstatsplain
-rw-r--r--giaResub2.c57030logstatsplain
-rw-r--r--giaResub3.c1605logstatsplain
-rw-r--r--giaRetime.c10279logstatsplain
-rw-r--r--giaRex.c18936logstatsplain
-rw-r--r--giaSat.c12090logstatsplain
-rw-r--r--giaSat3.c3686logstatsplain
-rw-r--r--giaSatEdge.c19053logstatsplain
-rw-r--r--giaSatLE.c40034logstatsplain
-rw-r--r--giaSatLut.c46006logstatsplain
-rw-r--r--giaSatMap.c19870logstatsplain
-rw-r--r--giaSatoko.c8296logstatsplain
-rw-r--r--giaScl.c8966logstatsplain
-rw-r--r--giaScript.c29430logstatsplain
-rw-r--r--giaShow.c43302logstatsplain
-rw-r--r--giaShrink.c5430logstatsplain
-rw-r--r--giaShrink6.c17206logstatsplain
-rw-r--r--giaShrink7.c12750logstatsplain
-rw-r--r--giaSim.c44398logstatsplain
-rw-r--r--giaSim2.c19730logstatsplain
-rw-r--r--giaSimBase.c101448logstatsplain
-rw-r--r--giaSort.c7570logstatsplain
-rw-r--r--giaSpeedup.c27925logstatsplain
-rw-r--r--giaSplit.c18714logstatsplain
-rw-r--r--giaStg.c16209logstatsplain
-rw-r--r--giaStoch.c16815logstatsplain
-rw-r--r--giaStr.c67988logstatsplain
-rw-r--r--giaSupMin.c4874logstatsplain
-rw-r--r--giaSupp.c30833logstatsplain
-rw-r--r--giaSupps.c30607logstatsplain
-rw-r--r--giaSweep.c28141logstatsplain
-rw-r--r--giaSweeper.c40840logstatsplain
-rw-r--r--giaSwitch.c26114logstatsplain
-rw-r--r--giaTim.c38217logstatsplain
-rw-r--r--giaTis.c6672logstatsplain
-rw-r--r--giaTruth.c28870logstatsplain
-rw-r--r--giaTsim.c23920logstatsplain
-rw-r--r--giaUnate.c9009logstatsplain
-rw-r--r--giaUtil.c95770logstatsplain
-rw-r--r--module.make3021logstatsplain