summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c1440logstatsplain
-rw-r--r--gia.h61479logstatsplain
-rw-r--r--giaAbs.c17215logstatsplain
-rw-r--r--giaAbs.h3260logstatsplain
-rw-r--r--giaAbsVta.c56631logstatsplain
-rw-r--r--giaAig.c19899logstatsplain
-rw-r--r--giaAig.h3176logstatsplain
-rw-r--r--giaAiger.c56022logstatsplain
-rw-r--r--giaBidec.c11930logstatsplain
-rw-r--r--giaCCof.c11033logstatsplain
-rw-r--r--giaCSat.c35445logstatsplain
-rw-r--r--giaCSatOld.c24792logstatsplain
-rw-r--r--giaCTas.c59009logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCof.c31997logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaDfs.c12165logstatsplain
-rw-r--r--giaDup.c58919logstatsplain
-rw-r--r--giaEmbed.c62346logstatsplain
-rw-r--r--giaEnable.c21177logstatsplain
-rw-r--r--giaEquiv.c67505logstatsplain
-rw-r--r--giaEra.c18123logstatsplain
-rw-r--r--giaEra2.c63553logstatsplain
-rw-r--r--giaFanout.c6947logstatsplain
-rw-r--r--giaForce.c36491logstatsplain
-rw-r--r--giaFrames.c30222logstatsplain
-rw-r--r--giaFront.c8171logstatsplain
-rw-r--r--giaGiarf.c34609logstatsplain
-rw-r--r--giaGlitch.c25877logstatsplain
-rw-r--r--giaHash.c21015logstatsplain
-rw-r--r--giaHcd.c21683logstatsplain
-rw-r--r--giaIf.c16953logstatsplain
-rw-r--r--giaIso.c36936logstatsplain
-rw-r--r--giaMan.c15908logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaReparam.c6072logstatsplain
-rw-r--r--giaRetime.c10205logstatsplain
-rw-r--r--giaSat.c12068logstatsplain
-rw-r--r--giaScl.c8264logstatsplain
-rw-r--r--giaShrink.c5302logstatsplain
-rw-r--r--giaSim.c19631logstatsplain
-rw-r--r--giaSim2.c19694logstatsplain
-rw-r--r--giaSort.c7530logstatsplain
-rw-r--r--giaSpeedup.c27862logstatsplain
-rw-r--r--giaSupMin.c4878logstatsplain
-rw-r--r--giaSwitch.c25203logstatsplain
-rw-r--r--giaTsim.c23892logstatsplain
-rw-r--r--giaUtil.c34515logstatsplain
-rw-r--r--module.make1167logstatsplain