summaryrefslogtreecommitdiff
path: root/Binaries/PrepareBoogieZip.bat
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Updated PrepareBoogieZip.bat file for the binary release that just went out o...Gravatar Rustan Leino2012-10-22
* Updated the 'PrepareBoogieZip.bat' script.Gravatar wuestholz2012-10-01
* Updated 'PrepareBoogieZip.bat' to include Houdini.Gravatar wuestholz2011-08-23
* Updated PrepareBoogieZip.bat to include BVD and smt2Gravatar rustanleino2011-03-10
* Boogie: Updated 'PrepareBoogieZip.ba?t'.Gravatar wuestholz2011-01-10
* Boogie: Updated 'PrepareBoogieZip.bat'.Gravatar wuestholz2010-12-06
* Miscellaneous changes:Gravatar rustanleino2010-10-22
* Script that gathers the files for the binary distribution Boogie.zip.Gravatar rustanleino2010-05-17