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