summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c1440logstatsplain
-rw-r--r--gia.h60583logstatsplain
-rw-r--r--giaAbs.c17203logstatsplain
-rw-r--r--giaAbs.h3260logstatsplain
-rw-r--r--giaAbsVta.c50725logstatsplain
-rw-r--r--giaAig.c19896logstatsplain
-rw-r--r--giaAig.h3176logstatsplain
-rw-r--r--giaAiger.c48653logstatsplain
-rw-r--r--giaBidec.c11927logstatsplain
-rw-r--r--giaCCof.c11028logstatsplain
-rw-r--r--giaCSat.c35445logstatsplain
-rw-r--r--giaCSatOld.c24792logstatsplain
-rw-r--r--giaCTas.c58999logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCof.c31991logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaDfs.c12165logstatsplain
-rw-r--r--giaDup.c56216logstatsplain
-rw-r--r--giaEmbed.c62346logstatsplain
-rw-r--r--giaEnable.c21177logstatsplain
-rw-r--r--giaEquiv.c67495logstatsplain
-rw-r--r--giaEra.c18123logstatsplain
-rw-r--r--giaEra2.c63553logstatsplain
-rw-r--r--giaFanout.c6947logstatsplain
-rw-r--r--giaForce.c36455logstatsplain
-rw-r--r--giaFrames.c30222logstatsplain
-rw-r--r--giaFront.c8168logstatsplain
-rw-r--r--giaGiarf.c34609logstatsplain
-rw-r--r--giaGlitch.c25874logstatsplain
-rw-r--r--giaHash.c21015logstatsplain
-rw-r--r--giaHcd.c21683logstatsplain
-rw-r--r--giaIf.c16950logstatsplain
-rw-r--r--giaMan.c15069logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaReparam.c6057logstatsplain
-rw-r--r--giaRetime.c10205logstatsplain
-rw-r--r--giaSat.c12068logstatsplain
-rw-r--r--giaScl.c8264logstatsplain
-rw-r--r--giaShrink.c5300logstatsplain
-rw-r--r--giaSim.c19629logstatsplain
-rw-r--r--giaSim2.c19694logstatsplain
-rw-r--r--giaSort.c7530logstatsplain
-rw-r--r--giaSpeedup.c27972logstatsplain
-rw-r--r--giaSupMin.c4878logstatsplain
-rw-r--r--giaSwitch.c25259logstatsplain
-rw-r--r--giaTsim.c23979logstatsplain
-rw-r--r--giaUtil.c34515logstatsplain
-rw-r--r--module.make1140logstatsplain