summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
ModeNameSize
-rw-r--r--module.make260logstatsplain
-rw-r--r--sim.h11105logstatsplain
-rw-r--r--simMan.c9648logstatsplain
-rw-r--r--simSat.c1520logstatsplain
-rw-r--r--simSeq.c6216logstatsplain
-rw-r--r--simSupp.c19659logstatsplain
-rw-r--r--simSwitch.c3797logstatsplain
-rw-r--r--simSym.c5079logstatsplain
-rw-r--r--simSymSat.c7122logstatsplain
-rw-r--r--simSymSim.c5774logstatsplain
-rw-r--r--simSymStr.c15636logstatsplain
-rw-r--r--simUtils.c21062logstatsplain