summaryrefslogtreecommitdiff
path: root/Util/VS2010
ModeNameSize
d---------Boogie244logplain
d---------Chalice147logplain
d---------Dafny141logplain