summaryrefslogtreecommitdiffstats
path: root/src/aig/hop
ModeNameSize
-rw-r--r--cudd2.c10273logstatsplain
-rw-r--r--cudd2.h3554logstatsplain
-rw-r--r--hop.h20843logstatsplain
-rw-r--r--hopBalance.c13981logstatsplain
-rw-r--r--hopCheck.c3540logstatsplain
-rw-r--r--hopDfs.c15652logstatsplain
-rw-r--r--hopMan.c4871logstatsplain
-rw-r--r--hopMem.c3590logstatsplain
-rw-r--r--hopObj.c7834logstatsplain
-rw-r--r--hopOper.c11405logstatsplain
-rw-r--r--hopTable.c7101logstatsplain
-rw-r--r--hopTruth.c7940logstatsplain
-rw-r--r--hopUtil.c19188logstatsplain
-rw-r--r--hop_.c1461logstatsplain
-rw-r--r--module.make287logstatsplain