summaryrefslogtreecommitdiff
path: root/Binaries/PrepareDafnyZip.bat
Commit message (Expand)AuthorAge
* Changed version to 1.9.1.11021Gravatar leino2014-10-21
* Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...Gravatar wuestholz2013-12-09
* Fixed build failures due to changes in Boogie.Gravatar wuestholz2013-11-23
* Fixed typo in build scriptGravatar Rustan Leino2013-08-06
* Updated 'PrepareDafnyZip.bat'.Gravatar wuestholz2013-08-05
* Bumped version to 1.6.1, to be released as a binary and on rise4fun.Gravatar Rustan Leino2013-03-10
* Include BVD in build (to copy it into the Dafny\Binaries directory)Gravatar Unknown2012-10-30