summaryrefslogtreecommitdiff
path: root/Binaries
ModeNameSize
-rw-r--r--DafnyPrelude.bpl52026logplain
-rw-r--r--DafnyRuntime.cs39853logplain
-rw-r--r--PrepareDafnyZip.bat1546logplain
-rw-r--r--System.Collections.Immutable.dll149752logplain
-rw-r--r--Z3-LICENSE.txt1115logplain
-rw-r--r--z3.exe6343680logplain