summaryrefslogtreecommitdiff
path: root/Binaries
ModeNameSize
-rw-r--r--DafnyPrelude.bpl32016logplain
-rw-r--r--DafnyRuntime.cs17152logplain
-rw-r--r--PrepareDafnyZip.bat1357logplain