summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
ModeNameSize
-rw-r--r--gia.c1440logstatsplain
-rw-r--r--gia.h67922logstatsplain
-rw-r--r--giaAbs.c23558logstatsplain
-rw-r--r--giaAbs.h3260logstatsplain
-rw-r--r--giaAbsGla.c72462logstatsplain
-rw-r--r--giaAbsVta.c61523logstatsplain
-rw-r--r--giaAig.c19896logstatsplain
-rw-r--r--giaAig.h3172logstatsplain
-rw-r--r--giaAiger.c55904logstatsplain
-rw-r--r--giaBidec.c11484logstatsplain
-rw-r--r--giaCCof.c11060logstatsplain
-rw-r--r--giaCSat.c35457logstatsplain
-rw-r--r--giaCSatOld.c24804logstatsplain
-rw-r--r--giaCTas.c59033logstatsplain
-rw-r--r--giaCTas2.c8545logstatsplain
-rw-r--r--giaCof.c32002logstatsplain
-rw-r--r--giaConstr.c1495logstatsplain
-rw-r--r--giaDfs.c12189logstatsplain
-rw-r--r--giaDup.c62761logstatsplain
-rw-r--r--giaEmbed.c62386logstatsplain
-rw-r--r--giaEnable.c21177logstatsplain
-rw-r--r--giaEquiv.c67508logstatsplain
-rw-r--r--giaEra.c18131logstatsplain
-rw-r--r--giaEra2.c63577logstatsplain
-rw-r--r--giaFanout.c10459logstatsplain
-rw-r--r--giaForce.c36503logstatsplain
-rw-r--r--giaFrames.c32268logstatsplain
-rw-r--r--giaFront.c8171logstatsplain
-rw-r--r--giaGiarf.c34621logstatsplain
-rw-r--r--giaGlitch.c25890logstatsplain
-rw-r--r--giaHash.c21161logstatsplain
-rw-r--r--giaHcd.c21687logstatsplain
-rw-r--r--giaIf.c16970logstatsplain
-rw-r--r--giaIso.c41193logstatsplain
-rw-r--r--giaMan.c17567logstatsplain
-rw-r--r--giaMem.c17221logstatsplain
-rw-r--r--giaPat.c4610logstatsplain
-rw-r--r--giaProp.c5130logstatsplain
-rw-r--r--giaReparam.c6071logstatsplain
-rw-r--r--giaRetime.c10217logstatsplain
-rw-r--r--giaSat.c12082logstatsplain
-rw-r--r--giaScl.c8268logstatsplain
-rw-r--r--giaShrink.c5306logstatsplain
-rw-r--r--giaSim.c19646logstatsplain
-rw-r--r--giaSim2.c19712logstatsplain
-rw-r--r--giaSort.c7534logstatsplain
-rw-r--r--giaSpeedup.c27858logstatsplain
-rw-r--r--giaSupMin.c4874logstatsplain
-rw-r--r--giaSwitch.c25211logstatsplain
-rw-r--r--giaTsim.c23904logstatsplain
-rw-r--r--giaUtil.c42646logstatsplain
-rw-r--r--module.make1197logstatsplain