summaryrefslogtreecommitdiffstats
path: root/src/aig/ioa
ModeNameSize
-rw-r--r--ioa.h2943logstatsplain
-rw-r--r--ioaReadAig.c11990logstatsplain
-rw-r--r--ioaUtil.c3827logstatsplain
-rw-r--r--ioaWriteAig.c13996logstatsplain
-rw-r--r--module.make101logstatsplain