| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Rename DLLs to non-generic names by prefixing "Boogie". Project names and |  akashlal | 2016-04-15 |
| * | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... |  Rustan Leino | 2013-03-05 |
| * | Updated PrepareBoogieZip.bat file for the binary release that just went out o... |  Rustan Leino | 2012-10-22 |
| * | 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 |
| * | Boogie: Updated 'PrepareBoogieZip.ba?t'. | wuestholz | 2011-01-10 |
| * | Boogie: Updated 'PrepareBoogieZip.bat'. | wuestholz | 2010-12-06 |
| * | Miscellaneous changes: | rustanleino | 2010-10-22 |
| * | Script that gathers the files for the binary distribution Boogie.zip. | rustanleino | 2010-05-17 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |