| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Boogie: The reference to Z3 was dropped during the commit. Here it is back. |  tabarbe | 2010-07-20 |
| * | <Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the bu... | tabarbe | 2010-07-16 |
| * | <Boogie> BoogieDriver.csproj was missing a reference to AbsInt. Remedied tha... | tabarbe | 2010-07-16 |
| * | Boogie: Generated Code Contracts settings for BoogieDriver.csproj (everything... | tabarbe | 2010-07-15 |
| * | Fix for cyrptographic signing error. | kyessenov | 2010-07-14 |
| * | Fixed project files to point to references correctly and also to remove assem... | mikebarnett | 2010-07-14 |
| * | <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan... | tabarbe | 2010-07-14 |
| * | Renaming the old boogiedriver sources in preparation for syncing my ported ch... | tabarbe | 2010-07-13 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |