summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
ModeNameSize
-rw-r--r--DafnyDriver.cs11438logplain
-rw-r--r--DafnyDriver.csproj9393logplain
-rw-r--r--app.config159logplain