| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Updates to Answer files from recent changes |  rustanleino | 2011-03-01 |
| * | Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln | qadeer | 2010-12-01 |
| * | ModelViewer: | rustanleino | 2010-11-02 |
| * | Updated Answer file to go with the previous check-in. | rustanleino | 2010-11-02 |
| * | Skip unchagned variables in model dumps. Fix testcase | MichalMoskal | 2010-10-14 |
| * | Add missing Clone() when storing incarnation maps; update testcase to make th... | MichalMoskal | 2010-10-12 |
| * | Boogie: | rustanleino | 2010-10-12 |
| * | Boogie: | rustanleino | 2010-09-24 |
| * | Boogie: | rustanleino | 2010-09-23 |
| * | Boogie: Added boolean code expressions (sans well-formedness checks on the in... | rustanleino | 2010-08-10 |
| * | Removed Output files. These are created on a local machine when the tests ar... | rustanleino | 2009-08-07 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |