| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Reverting accidental check-in |  stobies | 2010-08-06 |
| | | |||
| * | Remove support for Z3 V1 and clean up parameter processing code for Z3 | stobies | 2010-08-06 |
| | | | | | svn-ignoring some build artifacts | ||
| * | Script that gathers the files for the binary distribution Boogie.zip. | rustanleino | 2010-05-17 |
| | | |||
| * | Added a comment to the Makefile | mschwerhoff | 2010-03-12 |
| | | |||
| * | Changes needed in order to build Boogie using a freshly built Spec# compiler ↵ | mikebarnett | 2009-08-10 |
| and not just the LKG. | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |