summaryrefslogtreecommitdiff
path: root/Binaries
ModeNameSize
-rw-r--r--DafnyPrelude.bpl52416logplain
-rw-r--r--DafnyRuntime.cs40029logplain
-rw-r--r--PrepareDafnyZip.bat1546logplain
-rw-r--r--System.Collections.Immutable.dll149752logplain
-rw-r--r--Z3-LICENSE.txt1115logplain
-rwxr-xr-xdafny315logplain
-rw-r--r--z3.exe11018752logplain