summaryrefslogtreecommitdiffstats
path: root/src/aig/saig
ModeNameSize
-rw-r--r--module.make710logstatsplain
-rw-r--r--saig.h10288logstatsplain
-rw-r--r--saigAbs.c28875logstatsplain
-rw-r--r--saigBmc.c22669logstatsplain
-rw-r--r--saigBmc2.c10944logstatsplain
-rw-r--r--saigCone.c5551logstatsplain
-rw-r--r--saigDup.c4581logstatsplain
-rw-r--r--saigHaig.c23433logstatsplain
-rw-r--r--saigInd.c6125logstatsplain
-rw-r--r--saigIoa.c13736logstatsplain
-rw-r--r--saigMiter.c32848logstatsplain
-rw-r--r--saigPhase.c30702logstatsplain
-rw-r--r--saigRetFwd.c7764logstatsplain
-rw-r--r--saigRetMin.c22195logstatsplain
-rw-r--r--saigRetStep.c7375logstatsplain
-rw-r--r--saigScl.c3298logstatsplain
-rw-r--r--saigSimExt.c11107logstatsplain
-rw-r--r--saigSimFast.c15908logstatsplain
-rw-r--r--saigSimMv.c24546logstatsplain
-rw-r--r--saigSimSeq.c16599logstatsplain
-rw-r--r--saigStrSim.c29759logstatsplain
-rw-r--r--saigSwitch.c16712logstatsplain
-rw-r--r--saigSynch.c20255logstatsplain
-rw-r--r--saigTrans.c14163logstatsplain
-rw-r--r--saigWnd.c26004logstatsplain
-rw-r--r--saig_.c1396logstatsplain