summaryrefslogtreecommitdiff
path: root/Binaries
ModeNameSize
-rw-r--r--DafnyPrelude.bpl52026logplain
-rw-r--r--DafnyRuntime.cs27836logplain
-rw-r--r--PrepareDafnyZip.bat1546logplain
-rw-r--r--Z3-LICENSE.txt1115logplain
-rw-r--r--z3.exe6343680logplain