summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c1440logstatsplain
-rw-r--r--gia.h60653logstatsplain
-rw-r--r--giaAbs.c16355logstatsplain
-rw-r--r--giaAbs.h3240logstatsplain
-rw-r--r--giaAig.c19837logstatsplain
-rw-r--r--giaAig.h3144logstatsplain
-rw-r--r--giaAiger.c43144logstatsplain
-rw-r--r--giaBidec.c11914logstatsplain
-rw-r--r--giaCSat.c35433logstatsplain
-rw-r--r--giaCSatOld.c24783logstatsplain
-rw-r--r--giaCTas.c58987logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCof.c31982logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaDfs.c11100logstatsplain
-rw-r--r--giaDup.c55564logstatsplain
-rw-r--r--giaEmbed.c62289logstatsplain
-rw-r--r--giaEnable.c21177logstatsplain
-rw-r--r--giaEquiv.c67442logstatsplain
-rw-r--r--giaEra.c18110logstatsplain
-rw-r--r--giaEra2.c63525logstatsplain
-rw-r--r--giaFanout.c6944logstatsplain
-rw-r--r--giaForce.c36443logstatsplain
-rw-r--r--giaFrames.c11399logstatsplain
-rw-r--r--giaFront.c8168logstatsplain
-rw-r--r--giaGiarf.c34595logstatsplain
-rw-r--r--giaGlitch.c25874logstatsplain
-rw-r--r--giaHash.c20711logstatsplain
-rw-r--r--giaHcd.c21659logstatsplain
-rw-r--r--giaIf.c16903logstatsplain
-rw-r--r--giaMan.c12537logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaReparam.c6044logstatsplain
-rw-r--r--giaRetime.c10205logstatsplain
-rw-r--r--giaSat.c12065logstatsplain
-rw-r--r--giaScl.c8264logstatsplain
-rw-r--r--giaShrink.c5276logstatsplain
-rw-r--r--giaSim.c19579logstatsplain
-rw-r--r--giaSim2.c19649logstatsplain
-rw-r--r--giaSort.c7530logstatsplain
-rw-r--r--giaSpeedup.c27961logstatsplain
-rw-r--r--giaSupMin.c4865logstatsplain
-rw-r--r--giaSwitch.c25245logstatsplain
-rw-r--r--giaTsim.c23979logstatsplain
-rw-r--r--giaUtil.c34632logstatsplain
-rw-r--r--module.make1082logstatsplain