| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update to VS2010. |  MichalMoskal | 2010-10-07 |
| * | Boogie: Added boolean code expressions (sans well-formedness checks on the in... | rustanleino | 2010-08-10 |
| * | Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ... | tabarbe | 2010-08-04 |
| * | Also build Boogie and Dafny projects in 32-bit configurations. | rustanleino | 2010-07-30 |
| * | Dafny: DafnyDriver port part 3/3: Updating sources to reference new project. | tabarbe | 2010-07-28 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |