Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵ | Rustan Leino | 2013-03-05 |
| | | | | Codeplex repositories. | ||
* | Updated PrepareBoogieZip.bat file for the binary release that just went out ↵ | Rustan Leino | 2012-10-22 |
| | | | | on Codeplex | ||
* | Updated the 'PrepareBoogieZip.bat' script. | wuestholz | 2012-10-01 |
| | |||
* | Updated 'PrepareBoogieZip.bat' to include Houdini. | wuestholz | 2011-08-23 |
| | |||
* | Updated PrepareBoogieZip.bat to include BVD and smt2 | rustanleino | 2011-03-10 |
| | | | | Ignore duplicated else functions in models | ||
* | Boogie: Updated 'PrepareBoogieZip.ba?t'. | wuestholz | 2011-01-10 |
| | |||
* | Boogie: Updated 'PrepareBoogieZip.bat'. | wuestholz | 2010-12-06 |
| | |||
* | Miscellaneous changes: | rustanleino | 2010-10-22 |
| | | | | | | | * Also copy CodeContractExtender in PrepareBoogieZip.bat * Added some comments and a new program in Test/textbook * Included refinement keywords in Chalice emacs mode * Used assignment instead of spec statement in DuplicatesVideo.chalice | ||
* | Script that gathers the files for the binary distribution Boogie.zip. | rustanleino | 2010-05-17 |