| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Changed the 'svn:ignore' property of /Binaries such that ALL currently not ↵ |  mschwerhoff | 2010-05-12 |
| | | | | | svn-added files are ignored. Currently added are only the files that are not generated during the build process (e.g. Makefile, FSharp.Core.dll), hence all files generated during the build process won't be committed. | ||
| * | Restoring Spec# binaries | stobies | 2009-09-30 |
| | | |||
| * | Fixed some bugs in the generation of bitvector input for Z3. | rustanleino | 2009-09-29 |
| | | | | | Deleted/ignored some binaries in the Binaries directory. | ||
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |