summaryrefslogtreecommitdiffstats
path: root/src/aig/tim
ModeNameSize
-rw-r--r--module.make28logstatsplain
-rw-r--r--tim.c27293logstatsplain
-rw-r--r--tim.h4948logstatsplain