summaryrefslogtreecommitdiffstats
path: root/src/aig/hop
ModeNameSize
-rw-r--r--cudd2.c10214logstatsplain
-rw-r--r--cudd2.h3539logstatsplain
-rw-r--r--hop.h20847logstatsplain
-rw-r--r--hopBalance.c13523logstatsplain
-rw-r--r--hopCheck.c3489logstatsplain
-rw-r--r--hopDfs.c13748logstatsplain
-rw-r--r--hopMan.c4783logstatsplain
-rw-r--r--hopMem.c3508logstatsplain
-rw-r--r--hopObj.c7727logstatsplain
-rw-r--r--hopOper.c11326logstatsplain
-rw-r--r--hopTable.c7768logstatsplain
-rw-r--r--hopTruth.c7585logstatsplain
-rw-r--r--hopUtil.c18838logstatsplain
-rw-r--r--hop_.c1410logstatsplain
-rw-r--r--module.make287logstatsplain