summaryrefslogtreecommitdiff
path: root/states
ModeNameSize
-rw-r--r--MakeInitial.v576logplain
-rw-r--r--MakeInitialNew.v576logplain