Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... | 2013-03-05 | |
* | Updated PrepareBoogieZip.bat file for the binary release that just went out o... | 2012-10-22 | |
* | Updated the 'PrepareBoogieZip.bat' script. | 2012-10-01 | |
* | Updated 'PrepareBoogieZip.bat' to include Houdini. | 2011-08-23 | |
* | Updated PrepareBoogieZip.bat to include BVD and smt2 | 2011-03-10 | |
* | Boogie: Updated 'PrepareBoogieZip.ba?t'. | 2011-01-10 | |
* | Boogie: Updated 'PrepareBoogieZip.bat'. | 2010-12-06 | |
* | Miscellaneous changes: | 2010-10-22 | |
* | Script that gathers the files for the binary distribution Boogie.zip. | 2010-05-17 |