summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
ModeNameSize
-rw-r--r--module.make287logstatsplain
-rw-r--r--sim.h11090logstatsplain
-rw-r--r--simMan.c9572logstatsplain
-rw-r--r--simSat.c1460logstatsplain
-rw-r--r--simSeq.c6156logstatsplain
-rw-r--r--simSupp.c19214logstatsplain
-rw-r--r--simSwitch.c3700logstatsplain
-rw-r--r--simSym.c4991logstatsplain
-rw-r--r--simSymSat.c6968logstatsplain
-rw-r--r--simSymSim.c5624logstatsplain
-rw-r--r--simSymStr.c15442logstatsplain
-rw-r--r--simUtils.c20617logstatsplain