Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |