summaryrefslogtreecommitdiffstats
path: root/src/aig/tim
ModeNameSize
-rw-r--r--module.make28logstatsplain
-rw-r--r--tim.c16899logstatsplain
-rw-r--r--tim.h3709logstatsplain