summaryrefslogtreecommitdiffstats
path: root/src/aig/hop
ModeNameSize
-rw-r--r--cudd2.c10214logstatsplain
-rw-r--r--cudd2.h3539logstatsplain
-rw-r--r--hop.h20892logstatsplain
-rw-r--r--hopBalance.c13554logstatsplain
-rw-r--r--hopCheck.c3489logstatsplain
-rw-r--r--hopDfs.c13812logstatsplain
-rw-r--r--hopMan.c4783logstatsplain
-rw-r--r--hopMem.c3524logstatsplain
-rw-r--r--hopObj.c7727logstatsplain
-rw-r--r--hopOper.c11328logstatsplain
-rw-r--r--hopTable.c7768logstatsplain
-rw-r--r--hopTruth.c7585logstatsplain
-rw-r--r--hopUtil.c19044logstatsplain
-rw-r--r--hop_.c1410logstatsplain
-rw-r--r--module.make287logstatsplain