| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln |  qadeer | 2010-12-01 |
| * | Make the -mv option use the new Model class. | MichalMoskal | 2010-10-12 |
| * | Boogie: | rustanleino | 2010-09-23 |
| * | Some simplifications to coverage reporting for StratifiedInlining. | akashlal | 2010-09-19 |
| * | Dafny: added a command-line option to change the prelude file | sboehme | 2010-08-30 |
| * | Added a short description of new flags added to Boogie. | akashlal | 2010-08-23 |
| * | Boogie: Committing changed source files | tabarbe | 2010-08-20 |
| * | Boogie: Renaming core sources in preparation for port commit | tabarbe | 2010-08-20 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |