summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c1440logstatsplain
-rw-r--r--gia.h97049logstatsplain
-rw-r--r--giaAgi.c10041logstatsplain
-rw-r--r--giaAig.c22487logstatsplain
-rw-r--r--giaAig.h3329logstatsplain
-rw-r--r--giaAiger.c49010logstatsplain
-rw-r--r--giaAigerExt.c10522logstatsplain
-rw-r--r--giaBalance.c41564logstatsplain
-rw-r--r--giaBalance2.c33435logstatsplain
-rw-r--r--giaBidec.c11538logstatsplain
-rw-r--r--giaCCof.c11087logstatsplain
-rw-r--r--giaCSat.c35489logstatsplain
-rw-r--r--giaCSatOld.c24836logstatsplain
-rw-r--r--giaCTas.c59089logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCex.c14249logstatsplain
-rw-r--r--giaCof.c34658logstatsplain
-rw-r--r--giaCone.c17609logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaDfs.c14236logstatsplain
-rw-r--r--giaDup.c101377logstatsplain
-rw-r--r--giaEmbed.c62496logstatsplain
-rw-r--r--giaEnable.c21317logstatsplain
-rw-r--r--giaEquiv.c71286logstatsplain
-rw-r--r--giaEra.c19747logstatsplain
-rw-r--r--giaEra2.c63584logstatsplain
-rw-r--r--giaFalse.c20473logstatsplain
-rw-r--r--giaFanout.c10459logstatsplain
-rw-r--r--giaForce.c36573logstatsplain
-rw-r--r--giaFrames.c33204logstatsplain
-rw-r--r--giaFront.c9247logstatsplain
-rw-r--r--giaFx.c17597logstatsplain
-rw-r--r--giaGiarf.c34667logstatsplain
-rw-r--r--giaGig.c9151logstatsplain
-rw-r--r--giaGlitch.c25898logstatsplain
-rw-r--r--giaHash.c25852logstatsplain
-rw-r--r--giaHcd.c21794logstatsplain
-rw-r--r--giaIf.c65921logstatsplain
-rw-r--r--giaIff.c15444logstatsplain
-rw-r--r--giaIso.c44876logstatsplain
-rw-r--r--giaIso2.c27951logstatsplain
-rw-r--r--giaIso3.c4777logstatsplain
-rw-r--r--giaJf.c65004logstatsplain
-rw-r--r--giaKf.c45888logstatsplain
-rw-r--r--giaLf.c1807logstatsplain
-rw-r--r--giaMan.c22471logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaMf.c62689logstatsplain
-rw-r--r--giaMffc.c9763logstatsplain
-rw-r--r--giaMfs.c14549logstatsplain
-rw-r--r--giaMini.c5940logstatsplain
-rw-r--r--giaMuxes.c18771logstatsplain
-rw-r--r--giaNf.c1617logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaResub.c10231logstatsplain
-rw-r--r--giaRetime.c10279logstatsplain
-rw-r--r--giaSat.c12090logstatsplain
-rw-r--r--giaScl.c9098logstatsplain
-rw-r--r--giaShrink.c5430logstatsplain
-rw-r--r--giaShrink6.c17149logstatsplain
-rw-r--r--giaShrink7.c12750logstatsplain
-rw-r--r--giaSim.c22640logstatsplain
-rw-r--r--giaSim2.c19730logstatsplain
-rw-r--r--giaSopb.c7206logstatsplain
-rw-r--r--giaSort.c7562logstatsplain
-rw-r--r--giaSpeedup.c27893logstatsplain
-rw-r--r--giaStg.c16201logstatsplain
-rw-r--r--giaStr.c1614logstatsplain
-rw-r--r--giaSupMin.c4874logstatsplain
-rw-r--r--giaSweep.c11660logstatsplain
-rw-r--r--giaSweeper.c40820logstatsplain
-rw-r--r--giaSwitch.c25935logstatsplain
-rw-r--r--giaTim.c22423logstatsplain
-rw-r--r--giaTis.c6672logstatsplain
-rw-r--r--giaTruth.c15240logstatsplain
-rw-r--r--giaTsim.c23920logstatsplain
-rw-r--r--giaUtil.c55637logstatsplain
-rw-r--r--module.make1927logstatsplain