summaryrefslogtreecommitdiff
path: root/DafnyDriver
ModeNameSize
-rw-r--r--DafnyDriver.cs29819logplain
-rw-r--r--DafnyDriver.csproj7312logplain
-rw-r--r--app.config144logplain